Encyclopedia
3 results matching filters
Robin Milner
United Kingdom
programming languages
Amir Pnueli
Israel
formal methods
Joseph Sifakis
Greece
