Boris Zweimüller

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
Efficient Model Checking of Applications with Input/Output. EUROCAST (2007)
Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
JNuke: Efficient Dynamic Analysis for Java. CAV (2004)