Advertisement

Program specification: Issues and observations

  • J. J. Horning
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 134)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • J. J. Horning
    • 1
  1. 1.Computer Science LaboratoryXerox Palo Alto Research CentersUSA

Personalised recommendations