Subjects
Computer input-output equipment, Computer programs, Computer software, Computer software, verification, Congresses, Hardwareverifikation, Integrated circuits, Korrektheit, Model Checking, Programmverifikation, Software, Software architecture, Testen, VerificationID Numbers
- OLID: OL6934860A
Links outside Open Library
No links yet. Add one?
