Modify selection of databases
Narrow results
-
Place
- Würzburg (73)
- Schweinfurt (70)
- Coburg (10)
- Aschaffenburg TH (5)
- Aschaffenburg Hofbib (1)
-
Matter
- Informatik (59)
- Keine Angabe (15)
-
Subject
- Programmverifikation (74)
- Konferenzschrift (64)
- Formale Methode (52)
- Programmanalyse (33)
- Model Checking (27)
- Display more …
-
Year
- <=2000 (3)
- 2001 - 2006 (4)
- 2011 - 2018 (27)
- >=2019 (40)
- Language
-
Format
- Monografie (74)
- Begrenzte Elektronis… (71)
- Computerdatei (71)
- Elektronische Ressource (71)
- Online-Ressource (71)
- Display more …
- Author / Institution