Stefania Gnesi, Nico Plat. 1st FME workshop on formal methods in software engineering (FormaliSE 2013). In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 1519-1520, IEEE / ACM, 2013. [doi]
@inproceedings{GnesiP04,
title = {1st FME workshop on formal methods in software engineering (FormaliSE 2013)},
author = {Stefania Gnesi and Nico Plat},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2487063},
researchr = {https://researchr.org/publication/GnesiP04},
cites = {0},
citedby = {0},
pages = {1519-1520},
booktitle = {35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013},
editor = {David Notkin and Betty H. C. Cheng and Klaus Pohl},
publisher = {IEEE / ACM},
isbn = {978-1-4673-3076-3},
}