Experience report on developing the Front-end client unit under the control of formal methods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius. Experience report on developing the Front-end client unit under the control of formal methods. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 1183-1190, ACM, 2012. [doi]

Identified as Jan Friso Groote This author has not been identified. Look up 'Ammar Osaiweran' in GoogleThis author has not been identified. Look up 'Jacco H. Wesselius' in Google

runs on WebDSL