Expressiveness and the completeness of Hoare's logic☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
The results in this paper were obtained while the second author was at the Mathematical Centre, Amsterdam, and an earlier edition of this paper is registered there as MC Report IW 149/80.
Copyright © 1982 Published by Elsevier Inc.