Studying Verification Conditions for Imperative Programs

Thumbnail Image
Date
2015
Authors
Cláudio Belo Lourenço
Lamraoui,SM
Nakajima,S
Jorge Sousa Pinto
Journal Title
Journal ISSN
Volume Title
Publisher