Normal view
MARC view
Zuck, Lenore D., 1958- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): VMCAI 2003 (2003 : New York, N.Y.) 17231, Verification, model checking, and abstract interpretation :, ©2003.