Items where Author / Artist / Editor is "Apel, Sven"
 | See full list of headings |
Article
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
[Article]
(doi:10.1007/978-3-319-03077-7_18)
Conference or Workshop Item
von Rhein, Alexander, Apel, Sven and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2011)
Introducing Binary Decision Diagrams in the explicit-state verification of Java code.
In: The Java Pathfinder Workshop (co-located with ASE 2011), 12 Nov 2011, Oread, Lawrence, Kansas.
.
[Conference or Workshop Item]
