Bounded model checking of pointer programs
Charatonik, Witold ; Georgieva, Lilia ; Maier, Patrick 2005 MPI Informatik, Bibliothek & Dokumentation
- Link zu diesem Datensatz
-
https://d-nb.info/977563111
- Titel
-
Bounded model checking of pointer programs
- Art des Inhalts
- Monographie
- Verfassangaben
- W. Charatonik ; L. Georgieva ; P. Maier. [Max-Planck-Institut für Informatik]
- Autor(en)
-
- Charatonik, Witold
- Georgieva, Lilia
- Maier, Patrick
- Verlag
- Saarbrücken : MPI Informatik, Bibliothek & Dokumentation [2005]
- Jahr
- Erscheinungsdatum: 2005
- Umfang/Format
- 28 S.
- Sprache
- eng
- Stand
- 27.08.2021 16:27
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
