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
978-3-540-68977-5 (ISBN)
Subject Categories
Software Engineering
Computer Science
ISBN
978-3-540-68977-5