Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Hähnle, Reiner

Hähnle, Reiner (Имя лица)

Number of records used in: 4
Preferred form: Hähnle, Reiner

Machine generated authority record.

Work cat.: (RU-ToGU): Beckert, Bernhard. 323203, Verification of Object-Oriented Software. The KeY Approach, 2007.