Advertisement

Proofs, programs and their development — The axiomatic approach

  • D. Gries
II. Program Verification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • D. Gries

There are no affiliations available

Personalised recommendations