Program verification through soft typing

• 1 June 1996
• journal article
• Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
• Vol. 28  (2) , 349-351
• https://doi.org/10.1145/234528.234747

Abstract