Normal view
MARC view
Jhala, Ranjit (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): VMCAI 2011 (2011 : Austin, Tex.) 41401, Verification, model checking, and abstract interpretation :, ©2011.