Advertisement

On the relevance of formal methods to software development

  • Christiane Floyd
Introduction
Part of the Lecture Notes in Computer Science book series (LNCS, volume 186)

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Christiane Floyd
    • 1
  1. 1.TU BerlinBerlin 10

Personalised recommendations