Items where Author / Artist / Editor is "Beyer, Dirk"
 | See full list of headings |
Group by: Item Type | No Grouping
Number of items: 1.
Apel, Sven, Beyer, Dirk, Friedberger, Karlheinz, Raimondi, Franco 
ORCID: https://orcid.org/0000-0002-9508-7713 and von Rhein, Alexander
(2013)
Domain types: abstract-domain selection based on variable usage.
Hardware and Software: Verification and Testing, 8244
(1)
.
pp. 262-278.
ISSN 0302-9743
(doi:10.1007/978-3-319-03077-7_18)
