Modular reasoning in Isabelle (2000)

by F Kammüller
Venue:Proceedings of the 17th International Conference on Automated Deduction (CADE-17), volume 1831 of Lecture Notes in Computer Science