|
 
|
Paolo Masci
|
Post-doc Laboratoire: Queen Mary University of London (GB) |
Publications
2015
- [DMM15] C. Dubois, P. Masci, D. Méry. "Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015", July 2015, EPTCS,
