Subjects
Beweis, Computer science, Computer software, Computer software, verification, Congresses, Formale Methode, Logic design, Model Checking, Programmtest, Quality control, Reliability, Software engineering, Softwareentwicklung, Softwaresystem, TestingPlaces
Málaga <2010>ID Numbers
- OLID: OL7098162A
Links outside Open Library
No links yet. Add one?
