People
Muffy Calder
—monthly views
0copies owned
—player watchlists
Wiki Binder · Facet
formal methods
6 cards · 6 shown here
People
Eric Hehner
—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
Collect every card of this facet.
Start collecting