Normal view MARC view

Programmverifikation (Topical Term)

Preferred form: Programmverifikation

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