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