Skip to content

ITP'16 Auxiliary Materials
Compare
Choose a tag to compare
@zilinc zilinc released this 15 Jun 04:18
· 2359 commits to master since this release
itp_2016
e8f2b12

This snapshot contains the auxiliary materials for our ITP'16 paper: A Framework for the Automatic Formal Verification of Refinement from Cogent to C

Assets 2
Loading