Hoare logic in the abstract
Ursula Martin‚ Erik A Mathiesen and Paulo Oliva
Book Title
International Workshop on Computer Science Logic
Organisation
Springer‚ Berlin‚ Heidelberg
Pages
501–515
Year
2006
Ursula Martin‚ Erik A Mathiesen and Paulo Oliva