Refine your search
Availability
-
Authors
-
Collections
-
Home libraries
-
Item types
-
Series
-
Places
-
Topics
- Academic-industrial ...
- Beweis
- Collaboration univer...
- Computer software
- Formal methods (Comp...
- Formale Methode
- Informatique
- Interdisciplinary Co...
- Logiciels
- Materials Testing
- Model Checking
- Méthodes formelles (...
- Software
- software
- Software Validation
- Softwareentwicklung
- Softwaresystem
- Softwaretest
- Show more
- Show less