Verification of Object-Oriented Software. The KeY Approach - Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K. (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Artificial Intelligence