Mirco Dotta

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Philippe Suter, Mirco Dotta, Viktor Kuncak
Decision procedures for algebraic data types with abstractions. POPL (2010)
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul A. Agha
A Framework for State-Space Exploration of Java-Based Actor Programs. ASE (2009)