Adaptable Value-Set Analysis for Low-Level Code

Jörg Brauer, Rene Rydhof Hansen, Stefan Kowalewski, Kim Guldstrand Larsen, Mads Chr. Olesen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

OriginalsprogEngelsk
Titel6th International Workshop on Systems Software Verification (SSV 2011)
Antal sider12
Vol/bind24
ForlagSchloss Dagstuhl. Leibniz-Zentrum für Informatik
Publikationsdatojul. 2012
ISBN (Elektronisk)978-3-939897-36-1
DOI
StatusUdgivet - jul. 2012
Begivenhed6th International Workshop on Systems Software Verification (SSV 2011) - Hotel Erica in Berg en Dal, Nijmegen, Holland
Varighed: 26 aug. 2011 → …
Konferencens nummer: 6

Konference

Konference6th International Workshop on Systems Software Verification (SSV 2011)
Nummer6
LokationHotel Erica in Berg en Dal
Land/OmrådeHolland
ByNijmegen
Periode26/08/2011 → …

Citationsformater