Refining Model Checking by Abstract Interpretation
Cousot, Patrick ; Cousot, Radhia
- Link zu diesem Datensatz
- https://d-nb.info/1187552585
- Titel
- Refining Model Checking by Abstract Interpretation
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Patrick Cousot, Radhia Cousot
- Autor(en)
-
- Cousot, Patrick
- Cousot, Radhia
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 1999
- Umfang/Format
- Online-Ressource
- ISSN
15737535- DOI
- 10.1023/A:1008649901864
- Online
- https://doi.org/10.1023/A:1008649901864
- 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
- 12.06.2019 20:57
- Im Katalog seit
- 07.03.2026