A New Look at Formal Methods for Software Construction
Book chapter, 2006

Author

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Verification of Object-Oriented Software. The KeY Approach. Lecture Notes in Computer Science. Bernhard Beckert, Reiner Hähnle, Peter Schmitt (eds.)

Vol. 4334 1-18

Subject Categories

Software Engineering

Computer Science

ISBN

978-3-540-68977-5

More information

Created

10/7/2017