Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view
  • Namjoshi, Kedar S

Namjoshi, Kedar S (Имя лица)

Number of records used in: 2
Preferred form: Namjoshi, Kedar S

Machine generated authority record.

Work cat.: (RU-ToGU): Emerson, E. Allen. 320989, Verification, Model Checking, and Abstract Interpretation (vol. # 3855), 2006.