Normal view MARC view

Computer software Verification (Topical Term)

Preferred form: Computer software Verification

Machine generated authority record.

Work cat.: (AT-ISTA): Baier, Christel (DE-601)57713048X (DE-588)12400301X 13, Principles of model checking, 2008

Powered by Koha