People
Eric Hehner
—monthly views
0copies owned
—player watchlists
People
Eric Hehner
Canadian computer scientist (born 1947)
common · Q5386705
Related cards · formal methods
See all 6
People
Muffy Calder
—monthly views
0copies owned
—player watchlists
People
Andrei Voronkov (computer scientist)
—monthly views
0copies owned
—player watchlists
People
John Rushby
—monthly views
0copies owned
—player watchlists
Meta topics
ProCoS
—monthly views
0copies owned
—player watchlists
People
Anca Muscholl
—monthly views
0copies owned
—player watchlists