Amir Pnueli: verschil tussen versies

41 bytes verwijderd ,  13 jaar geleden
cat spec
(cat spec)
}}
 
[[Categorie:Israëlisch wetenschapperinformaticus|Pnueli, Amir]]
[[Categorie:informaticus|Pnueli, Amir]]
[[Categorie:Israëlisch wiskundige|Pnueli, Amir]]
[[Categorie:Winnaar Turing Award|Pnueli, Amir]]
25.066

bewerkingen