An Integrated Proof Language for Imperative Programs


Presented at:
ACM Conf. Programming Language Design and Implementation (PLDI)
Year:
2009
Keywords:
Laboratories:




 Record created 2009-05-01, last modified 2018-01-28

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)