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
Juan Bicarregui‚ C. A. R. Hoare and J. C. P. Woodcock