Model Checking Programs
Visser, Willem ; Havelund, Klaus ; Brat, Guillaume ; Park, SeungJoon ; Lerda, Flavio
- Link zu diesem Datensatz
- https://d-nb.info/1295418061
- Titel
- Model Checking Programs
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park, Flavio Lerda
- Autor(en)
-
- Visser, Willem
- Havelund, Klaus
- Brat, Guillaume
- Park, SeungJoon
- Lerda, Flavio
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2003
- Umfang/Format
- Online-Ressource
- DOI
- 10.1023/A:1022920129859
- Online
- https://doi.org/10.1023/A:1022920129859
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Automated software engineering
- Enthalten in: Automated software engineering
- Enthalten in: Automated software engineering
- Stand
- 10.07.2023 18:17
- Im Katalog seit
- 07.03.2026