Advertisement

Let's make models

  • C. A. R. Hoare
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 458)

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • C. A. R. Hoare

There are no affiliations available

Personalised recommendations