Normal view
MARC view
Computer software-Validation-Congresses (Topical Term)
Machine generated authority record.
Work cat.: (OSt)184867: Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA, proceedings, Imperial, Corfu, Greece, Oct. 8-11, 2014 (e-book), 2014