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