Suchauswahl ändern
Treffer eingrenzen
-
Ort
- Schweinfurt (29)
- Würzburg (29)
- Coburg (7)
- Aschaffenburg TH (1)
-
Fach
- Informatik (22)
- Keine Angabe (7)
-
Schlagwort
- Model Checking (29)
- Konferenzschrift (27)
- Programmverifikation (27)
- Formale Methode (17)
- Softwareentwicklung (15)
- Mehr anzeigen …
-
Jahr
- <=2018 (10)
- 2019 - 2020 (6)
- 2021 - 2022 (8)
- >=2023 (5)
-
Sprache
- Englisch (29)
-
Dokumenttyp
- Begrenzte Elektronis… (29)
- Computerdatei (29)
- E-Book (29)
- Elektronische Ressource (29)
- Monografie (29)
- Mehr anzeigen …
-
Autor / Institution
- Beyer, Dirk (4)
- ETAPS (2019, Prag) (3)
- Huisman, Marieke (3)
- TACAS (2019, Prag) (3)
- Dimitrova, Rayna (2)
- Mehr anzeigen …