Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino /

Bibliográfalaš dieđut
Váldodahkki: Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (edición)
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Almmustuhtton: Berlín, Alemania : Springer, 2007, c2007
Ráidu:(Lecture Notes in Computer Science)
Liŋkkat:Ver documento en línea

Geahča maid: Verification of Object-Oriented Software. The KeY Approach :