Automatic Generation of a Verification Platform - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Suad Katjazovic' in GoogleThis author has not been identified. Look up 'Christian Steger' in GoogleThis author has not been identified. Look up 'Andreas Schuhai' in GoogleThis author has not been identified. Look up 'Markus Pistauer' in Google

runs on WebDSL