Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Mastroeni, Isabella

Mastroeni, Isabella (Имя лица)

Number of records used in: 1
Preferred form: Mastroeni, Isabella

Machine generated authority record.

Work cat.: (RU-ToGU): Giacobazzi, Roberto. editor. 416821, Verification, Model Checking, and Abstract Interpretation, 2013.