publication venue for
- Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. 60:63-84. 2018
- Preface. 44:1-2. 2010
- STMM: A set theory for mechanized mathematics. 26:269-289. 2001
- IMPS: An interactive mathematical proof system. 11:213-248. 1993