Towards Leveraging Domain Knowledge in State-Based Formal Methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods. In Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, editors, Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Volume 12750 of Lecture Notes in Computer Science, pages 1-13, Springer, 2021. [doi]

This author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Régine Laleau' in GoogleThis author has not been identified. Look up 'Dominique Méry' in GoogleThis author has not been identified. Look up 'Neeraj Kumar Singh' in Google

runs on WebDSL