Moving Proofs-as-Programs into Practice (1997)

by J Caldwell
Venue:In Proceedings of the 12th IEEE International Conference on Automated Software Engineering, IEEE