Rigorous proofs of program correctness without formal logic
Wadkins, J. R. JeffersonVolume:
27
Language:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/199691.199834
Date:
March, 1995
File:
PDF, 794 KB
english, 1995