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