Normal view
MARC view
Computer software Verification Congresses (Topical Term)
Machine generated authority record
Work cat.: (OSt)309666: NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) 552106, Engineering dependable software systems /