Logic Model Checking People (First 2 people) - Page 0

Pierre Wolper

Rector of the University of Liège

Gerard J. Holzmann

American computer scientist