Amy Felty
-
Real theorem provers deserve real user-interfaces
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments