A Logical Framework For Reasoning About Logical Specifications (2004)

by Alwen F. Tiu , Padma Raghavan , Stephen Simpson , Frank Pfenning , Raj Acharya
Citations:33 - 12 self