Normal view
MARC view
Vérification de logiciels (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): VMCAI 2005 (2005 : Paris, France) 18707, Verification, model checking, and abstract interpretation :, ©2005.