An Integrated Proof Language for Imperative Programs
ACM SIGPLAN Notices - United States
doi 10.1145/1543135.1542514
Full Text
Open PDFAbstract
Available in full text
Categories
Date
May 28, 2009
Authors
Publisher
Association for Computing Machinery (ACM)