Advertisement

Computer-hindered verification (humans can do it too)

Abstract
  • Leslie Lamport
Invited Lecture
Part of the Lecture Notes in Computer Science book series (LNCS, volume 663)

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Leslie Lamport
    • 1
  1. 1.Digital Equipment CorporationUSA

Personalised recommendations