Articles about Formal Methods People Category


Adriaan Van Wijngaarden	Alan Turing	Alonzo Church
Amir Pnueli	Andrew D. Gordon	Bertrand Meyer
Bill Roscoe	C. A. R. Hoare	Carl Adam Petri
Carl Hewitt	Christopher Strachey	Cliff Jones
Dana Scott	David Harel	David May Computer Scientist
David Parnas	David Watt	Dines Bjørner
Donald A. Mackenzie	Donald Knuth	Don Sannella
Edsger W. Dijkstra	Egon Börger	Eric Hehner
Evert Willem Beth	Faron Moller	F. X. Reid
Gerard J. Holzmann	Gordon Plotkin	Harlan Mills
He Jifeng	J. Alan Robinson	Jan Bergstra
J. Anthony Hall	Jawed Siddiqi	Jeannette Wing
Jean-raymond Abrial	Jim Horning	Jim Woodcock
Joe Stoy	John C. Reynolds	John Fitzgerald Computer Scientist
John Guttag	John Mccarthy Computer Scientist	John Rushby
John V. Tucker	Jonathan Bowen	Joseph Goguen
J Strother Moore	Lawrence Paulson	Leslie Lamport
Liu Zhiming	Matthew Hennessy	Michael A. Jackson
Michael Fourman	Michael J. Butler	Michael J. C. Gordon
Mike Reed	Nancy Leveson	Niklaus Wirth
Ole-johan Dahl	Patrick Cousot	Peter J. Landin
Peter Mosses	Ralph-johan Back	Richard Bornat
Robert Floyd	Robin Milner	Rod Burstall
Samson Abramsky	Tom Maibaum	Ursula Martin
Zhou Chaochen

	CATEGORIES ABOUT FORMAL METHODS PEOPLE



	formal methods

	people

	computer scientists

	computer specialists

Information About ™