Proof reconstruction for first-order logic and set-theoretical constructions (2006)

by Clément Hurlin , Inria Sophia-antipolis , Amine Chaieb , Tjark Weber , Technische Universität München , Pascal Fontaine , Stephan Merz , Inria Lorraine
Venue:Sixth International Workshop on Automated Verification of Critical Systems (AVOCS ’06) – Preliminary Proceedings
Citations:2 - 0 self