OthelloPlay: a plug-in based tool for requirement formalization and validation.

Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta

Browse the full ICSE paper archive.