Changes Forecast Lemma 1 Ltd. / SRI International / L E M M A Lemma 1 Ltd. / Cambridge University Press / Lemma 1 Ltd. / HOL 4 9 PRACTICAL SYSTEMS / Needham / / /
IndustryTerm
formal proof technology / communication protocols / proof tool / distributed computer systems / /
Organization
Cambridge University / Center for the Study of Language and Information / Formal Methods Unit / /
Person
Allan Ramsay / Johan van Benthem / George Boolos / Michael J.C. Gordon / / /