Subjects
Artificial intelligence, Computer software, Computer software, verification, Computer systems, Computers, Congresses, Kongress, Künstliche Intelligenz, Model Checking, VerificationPlaces
Patras <2008>ID Numbers
- OLID: OL6934839A
Links outside Open Library
No links yet. Add one?
