Normal view
MARC view
Emerson, E. Allen (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): VMCAI 2006 (2006 : Charleston, S.C.) 27389, Verification, model checking, and abstract interpretation :, 2006.