Normal view
MARC view
Computer software Verification. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Baier, Christel. 14573, Principles of model checking /, [2008?]