Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.


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, 29 (5). pp. 911-931. ISSN 0934-5043

This list was generated on Mon Dec 6 05:42:58 2021 GMT.