Skip to main content

Formally Verifying Imperative Programs

José Pedro Correia‚ José Pedro Magalhães and Jorge Sousa Pinto

Book Title
Proceedings of the Conference on Compilers‚ Related Technologies and Applications
Editor
Henriques‚ P. and Santos‚ V. and Sousa‚ S.
ISBN
978−972−8790−70−7
Pages
74–85
Publisher
Beira Interior University
Series
CoRTA '07
Year
2007