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