Verification of Object-Oriented Software. The KeY Approach

Format:: e-book
Title:: Verification of Object-Oriented Software. The KeY Approach
Author:: Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Language:: English
Publisher:: Springer Berlin Heidelberg 2007
ISBN:: 3-540-68977-X
3-540-69061-1
Subject:: Information Technology Artificial Intelligence
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000284050?locale=en