Normal view MARC view

Rybalchenko, Andrey (Personal Name)

Number of records used in: 2
Preferred form: Rybalchenko, Andrey

Machine generated authority record.

Work cat.: ()1370968: Verification, Model Checking, and Abstract Interpretation, 2012.

                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India