Adaptable Value-Set Analysis for Low-Level Code

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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Original languageEnglish
Title of host publication6th International Workshop on Systems Software Verification (SSV 2011)
Number of pages12
Volume24
PublisherSchloss Dagstuhl. Leibniz-Zentrum für Informatik
Publication dateJul 2012
ISBN (Electronic)978-3-939897-36-1
DOIs
Publication statusPublished - Jul 2012
Event6th International Workshop on Systems Software Verification (SSV 2011) - Hotel Erica in Berg en Dal, Nijmegen, Netherlands
Duration: 26 Aug 2011 → …
Conference number: 6

Conference

Conference6th International Workshop on Systems Software Verification (SSV 2011)
Number6
LocationHotel Erica in Berg en Dal
CountryNetherlands
CityNijmegen
Period26/08/2011 → …

Cite this