Normal view MARC view

Jhala, Ranjit. (Personal Name)

Preferred form: Jhala, Ranjit.

Machine generated authority record.

Work cat.: ()947331: VMCAI 2011. (12th : 2011 : Austin, TX, USA) 1040134, Verification, Model Checking, and Abstract Interpretation, 2011.

                                                                           
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