A Hoare-style verification calculus for control state ASMs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Werner Gabrisch, Wolf Zimmermann. A Hoare-style verification calculus for control state ASMs. In Mirjana Ivanovic, Zoran Budimac, Milos Radovanovic, editors, Balkan Conference in Informatics, 2012, BCI '12, Novi Sad, Serbia, September 16-20, 2012. pages 205-210, ACM, 2012. [doi]

This author has not been identified. Look up 'Werner Gabrisch' in GoogleThis author has not been identified. Look up 'Wolf Zimmermann' in Google

runs on WebDSL