Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Godefroid, Patrick

Godefroid, Patrick (Имя лица)

Number of records used in: 1
Preferred form: Godefroid, Patrick

Machine generated authority record.

Work cat.: (RU-ToGU): Godefroid, Patrick., Model Checking Software (vol. # 3639), 2005