Login / Signup

Proving a Real Time Algorithm for ATM in Coq.

Jean-François Monin
Published in: TYPES (1996)
Keyphrases