Formal Specification People (First 2 people) - Page 0

Kees van Hee

Dutch computer scientist

Tom Maibaum

Computer scientist