Automatic Generation of a Verification Platform.

Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer

Browse the full FDL paper archive.