Advertisement

Logic of Programs 1983: Logics of Programs pp 442-442 | Cite as

An introduction to specification logic

  • John C. Reynolds
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • John C. Reynolds
    • 1
  1. 1.Syracuse UniversitySyracuse

Personalised recommendations