Normal view MARC view

COMPUTERS Software Development & Engineering Quality Assurance & Testing (Topical Term)

Preferred form: COMPUTERS Software Development & Engineering Quality Assurance & Testing

Machine generated authority record.

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

Powered by Koha