Moving proofs-as-programs into practice (1997)

by James L. Caldwell
Venue:In: Proceedings of the 12 th IEEE International Conference on Automated Software Engineering, IEEE Computer Society
Citations:18 - 5 self