Ammar Osaiweran, Mathijs Schuts, Jozef Hooman, Jacco H. Wesselius. Incorporating Formal Techniques into Industrial Practice: an Experience Report. Electronic Notes in Theoretical Computer Science, 295:49-63, 2013. [doi]
@article{OsaiweranSHW13, title = {Incorporating Formal Techniques into Industrial Practice: an Experience Report}, author = {Ammar Osaiweran and Mathijs Schuts and Jozef Hooman and Jacco H. Wesselius}, year = {2013}, doi = {10.1016/j.entcs.2013.04.005}, url = {http://dx.doi.org/10.1016/j.entcs.2013.04.005}, researchr = {https://researchr.org/publication/OsaiweranSHW13}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {295}, pages = {49-63}, }