Efficient Verification of Sequential and Concurrent C Programs
Chaki, S. ; Clarke, E. ; Groce, A. ; Ouaknine, J. ; Strichman, O. ; Yorav, K.
- Link zu diesem Datensatz
- https://d-nb.info/1304311376
- Titel
- Efficient Verification of Sequential and Concurrent C Programs
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by S. Chaki, E. Clarke, A. Groce, J. Ouaknine, O. Strichman, K. Yorav
- Autor(en)
-
- Chaki, S.
- Clarke, E.
- Groce, A.
- Ouaknine, J.
- Strichman, O.
- Yorav, K.
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2004
- Umfang/Format
- Online-Ressource, 1 online resource.
- DOI
- 10.1023/B:FORM.0000040026.56959.91
- Online
- https://doi.org/10.1023/B:FORM.0000040026.56959.91
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Formal methods in system design
- Enthalten in: Formal methods in system design
- Enthalten in: Formal methods in system design
- Stand
- 29.09.2023 06:46
- Im Katalog seit
- 07.03.2026