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

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

ISBN

978-3-540-68977-5