Programs as Executable Predicates

C. A. R. Hoare, A. W. Roscoe. Programs as Executable Predicates. In FGCS. pages 220-228, 1984.

No reviews for this publication, yet.