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