Cardion.spec: An Approach to Improve the Requirements Specification Written in the Natural Language Through the Formal Method.

Masao Ito

Browse the full EuroSPI paper archive.