People
John Rushby
—monthly views
0copies owned
—player watchlists
People
John Rushby
British computer scientist
common · Q15501782
Related cards · formal methods
See all 6
People
Muffy Calder
—monthly views
0copies owned
—player watchlists
People
Eric Hehner
—monthly views
0copies owned
—player watchlists
People
Andrei Voronkov (computer scientist)
—monthly views
0copies owned
—player watchlists
Meta topics
ProCoS
—monthly views
0copies owned
—player watchlists
People
Anca Muscholl
—monthly views
0copies owned
—player watchlists
Related cards · Harlan D. Mills Award
See all 15
People
Bertrand Meyer
—monthly views
0copies owned
—player watchlists
People
Barry Boehm
—monthly views
0copies owned
—player watchlists
People
David Parnas
—monthly views
0copies owned
—player watchlists
.jpg/330px-David_Harel_(FLoC_2006).jpg)
People
David Harel
—monthly views
0copies owned
—player watchlists
.jpg/330px-Gerard_J._Holzmann_FLoC_2006_(cropped).jpg)
People
Gerard J. Holzmann
—monthly views
0copies owned
—player watchlists
People
Radhia Cousot
—monthly views
0copies owned
—player watchlists