Normal view MARC view

VMCAI 2006 (2006 : Charleston, S.C.) (Meeting Name)

Number of records used in: 1

Preferred form: VMCAI 2006 (2006 : Charleston, S.C.)

Machine generated authority record.

Work cat.: (AT-ISTA): VMCAI 2006 (2006 : Charleston, S.C.), Verification, model checking, and abstract interpretation :, 2006.