Approximate verification in an open source world
- Breuer, P.T.
- Pickin, S.
ISSN: 1614-5046, 1614-5054
Datum der Publikation: 2008
Ausgabe: 4
Nummer: 1
Seiten: 87-105
Art: Konferenz-Beitrag
ISSN: 1614-5046, 1614-5054
Datum der Publikation: 2008
Ausgabe: 4
Nummer: 1
Seiten: 87-105
Art: Konferenz-Beitrag