Normal view
MARC view
Vocabulary (Topical Term)
Machine generated authority record.
Work cat.: (OSt)173473: Verified Software : theories, tools, experiments : third international conference : proceedings, VSTTE, Edinburgh, UK, Aug. 16-19, 2010 (e-book)