Suad Katjazovic, Christian Steger, Andreas Schuhai, Markus Pistauer. Automatic Generation of a Verification Platform. In Forum on specification and Design Languages, FDL 2005, September 27-30, 2005, Lausanne, Switzerland, Proceedings. pages 153-165, ECSI, 2005. [doi]
Abstract is missing.