Partial correctness: The term-wise approach

Stefan Sokołowski
1984 Science of Computer Programming  
doi:10.1016/0167-6423(84)90017-0 fatcat:q2wn4mfdavhqzdn76knp4ythm4