0 citations0 referencesGoogle Scholardoi.orgProving a real time algorithm for ATM in CoqLecture notes in computer science·1998·pp. 277–293Jean‐François MoninRelated Papers→ Computers, Justification, and Mathematical Knowledge(2007)33 cited→ Merging Procedural and Declarative Proof(2009)11 cited→ A TLA+ Proof System(2008)17 cited→ Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories(2004)4 cited