Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Rosu, Grigore

Rosu, Grigore (Имя лица)

Number of records used in: 2
Preferred form: Rosu, Grigore

Machine generated authority record.

Work cat.: (RU-ToGU): Havelund, Klaus. 326485, Formal Approaches to Software Testing and Runtime Verification, 2006