Normal view MARC view

Computer software Verification. (Topical Term)

Preferred form: Computer software Verification.

Machine generated authority record.

Work cat.: (OSt): Baier, Christel. 14573, Principles of model checking /, [2008?]




Contact for Queries: skpathak@iiserb.ac.in