Skip to main content

The verified software repository: a step towards the verifying compiler

Juan Bicarregui‚ C. A. R. Hoare and J. C. P. Woodcock

Journal
Formal Asp. Comput.
Number
2
Pages
143−151
Volume
18
Year
2006