Logic of Programs 1981: Logics of Programs pp 122-123 | Cite as

Keeping a foot on the ground

A position paper
  • Brent Hailpern
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 131)


  1. (1).
    Mordechai Ben-Ari and Amir Pnueli. Temporal logic proofs of concurrent programs. Submitted for publication, November, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Brent Hailpern
    • 1
  1. 1.IBM T. J. Watson Research CenterYorktown Heights

Personalised recommendations