Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Modular specification and veri...

Treffer: Modular specification and verification of object-oriented programs

Title:
Modular specification and verification of object-oriented programs
Authors:
Leavens, G.T.
Source:
IEEE Software IEEE Softw. Software, IEEE. 8(4):72-80 Jul, 1991
Database:
IEEE Xplore Digital Library