Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Cortesi, Agostino

Cortesi, Agostino (Имя лица)

Number of records used in: 2
Preferred form: Cortesi, Agostino

Machine generated authority record.

Work cat.: (RU-ToGU): Cortesi, Agostino., Verification, Model Checking, and Abstract Interpretation, 2006.