Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Schmitt, Peter H

Schmitt, Peter H (Имя лица)

Number of records used in: 1
Preferred form: Schmitt, Peter H

Machine generated authority record.

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