Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta. OthelloPlay: a plug-in based tool for requirement formalization and validation. In Judith Bishop, Karin Breitman, David Notkin, editors, Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011. pages 59, ACM, 2011. [doi]
@inproceedings{CavadaCMRST11,
title = {OthelloPlay: a plug-in based tool for requirement formalization and validation},
author = {Roberto Cavada and Alessandro Cimatti and Andrea Micheli and Marco Roveri and Angelo Susi and Stefano Tonetta},
year = {2011},
doi = {10.1145/1984708.1984728},
url = {http://doi.acm.org/10.1145/1984708.1984728},
researchr = {https://researchr.org/publication/CavadaCMRST11},
cites = {0},
citedby = {0},
pages = {59},
booktitle = {Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011},
editor = {Judith Bishop and Karin Breitman and David Notkin},
publisher = {ACM},
isbn = {978-1-4503-0599-0},
}