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]
Abstract is missing.