Supporting Tool for Cooperative Specification Processes.

Motoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara

Browse the full SEKE paper archive.