Cambridge University / Institute of Informatics / MIT / Newcastle University / Jones School of Computing Science / University of Oslo / European Union / /
Person
Tobias Nipkow / David R. Cok / Jean-Louis Lanet / Michal Moskal / Thomas Santen / Evan Chang / Traian Muntean / Lilian Burdy / Susanne Graf / Ernie Cohen / Dirk Leinenbach / Rod Chapman / Stephan Tobies / Robert DeLine / K. Rustan M. Leino / Jim Davies / Albert L. Baker / Jim Woodcock / Marcello M. Bonsangue / Bart Jacobs / Markus Dahlweid / Donald MacKenzie / Leo Freitas / Herman Venter / Jia Meng / Janet Barnes / Lawrence C. Paulson / Willem P. de Roever / Makarius Wenzel / David Copper / Clyde Ruby / Joseph Kiniry / Jean-Raymond Abrial / Cliff B. Jones / Michael Barnett / Wolfram Schulte / Marieke Huisman / Christian Urban / Mark A. Hillebrand / Baird III / /
Position
theorem proving assistant / /
ProgrammingLanguage
Ada / Java / C / /
PublishedMedium
Formal Aspects of Computing / The International Journal / Theoretical Computer Science / Lecture Notes in Computer Science / /