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

See full list of headings
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.


Apel, Sven and Beyer, Dirk and Friedberger, Karlheinz and Raimondi, Franco 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

Conference or Workshop Item

von Rhein, Alexander and Apel, Sven and Raimondi, Franco (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.

This list was generated on Fri Nov 16 04:49:23 2018 GMT.