Prentice Hall / A library / Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge / Intelligence Laboratory / University of Queensland / /
Institute of Technology Cambridge / Group / Computer Science and Artificial Intelligence Laboratory / Artificial Intelligence Laboratory / University of Queensland / CP LP / Massachusetts Institute of Technology / School of Information Technology / /
Person
Moshe Y. Vardi / Jos Warmer / Addison Wesley / Manu Sridharan / Nir Piterman / John Rushby / Anneke Kleppe / Jonathan Edwards / Roy Armoni / Ilya Shlyakhter / Lawrence C. Paulson / Limor Fix / Emina Torlak / Andreas Tiemeyer / Andy Schürr / Leslie Lamport / Orna Grumberg / Alon Flaisher / J. Michael Spivey / Daniel Jackson / Vincent Yeung / /
Position
Prime Minister / President / head / dean / /
ProgrammingLanguage
Object Constraint Language / /
ProvinceOrState
Queensland / Massachusetts / Colorado / /
PublishedMedium
IEEE Transactions on Software Engineering / /
Technology
object-oriented programming / Information Technology / dom / /