Items where Author / Artist / Editor is "Apel, Sven"

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 (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. .