Advertisement

Beyond design by contract: Towards formally provable object-oriented software

Abstract
  • Bertrand Meyer
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1049)

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Bertrand Meyer
    • 1
  1. 1.ISE Inc.USA

Personalised recommendations