Inductive Proof Rules Beyond Safety Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Koehler, Klaus Schneider. Inductive Proof Rules Beyond Safety Properties. In 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. pages 1-9, VDE Verlag, 2019. [doi]

This author has not been identified. Look up 'Martin Koehler' in GoogleThis author has not been identified. Look up 'Klaus Schneider' in Google

runs on WebDSL