Normal view MARC view

Logiciels Vérification Congrès (Topical Term)

Preferred form: Logiciels Vérification Congrès

Machine generated authority record.

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

Powered by Koha