 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Schrammel, Peter, Kroening, Daniel, Brain, Martin, Martins, Ruben, Teige, Tino and Bienmüller, Tom (2017) Incremental bounded model checking for embedded software. Formal Aspects of Computing. ISSN 0934-5043