Normal view MARC view

Vérification de logiciels (Topical Term)

Preferred form: Vérification de logiciels

Machine generated authority record.

Work cat.: (AT-ISTA): VMCAI 2005 (2005 : Paris, France) 18707, Verification, model checking, and abstract interpretation :, ©2005.

Powered by Koha