A New Look at Formal Methods for Software Construction
Kapitel i bok, 2006
Författare
Reiner Hähnle
Chalmers, Data- och informationsteknik, Datavetenskap
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)
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
ISBN
978-3-540-68977-5