Formal specification comprehension: the art of reading and writing z - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andreas Bollin, Dominik Rauner-Reithmayer. Formal specification comprehension: the art of reading and writing z. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 3-9, ACM, 2014. [doi]

This author has not been identified. Look up 'Andreas Bollin' in GoogleThis author has not been identified. Look up 'Dominik Rauner-Reithmayer' in Google

runs on WebDSL