Suad Katjazovic

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer
Automatic Generation of a Verification Platform. FDL (2005)