A general framework for sound and complete Floyd−Hoare logics
Rob Arthan‚ Ursula Martin‚ Erik A Mathiesen and Paulo Oliva
Journal
ACM Transactions on Computational Logic (TOCL)
Number
1
Pages
7
Publisher
ACM
Volume
11
Year
2009
Rob Arthan‚ Ursula Martin‚ Erik A Mathiesen and Paulo Oliva