Normal view
MARC view
Security science and technology (Topical Term)
Machine generated authority record.
Work cat.: (OSt)1919: Clarke, Edmund M. (Editor) 6581, Handbook of model checking, c2018