Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius
Experience report on developing the Front-end client unit under the control of formal methods
SAC, 2012.
@inproceedings{SAC-2012-GrooteOW, author = "Jan Friso Groote and Ammar Osaiweran and Jacco H. Wesselius", booktitle = "{Proceedings of the 27th Symposium on Applied Computing}", doi = "10.1145/2245276.2231962", editor = "Sascha Ossowski and Paola Lecca", isbn = "978-1-4503-0857-1", pages = "1183--1190", publisher = "{ACM}", title = "{Experience report on developing the Front-end client unit under the control of formal methods}", year = 2012, }