A study on user-friendly formal specification languages for requirements formalization.

Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin

Browse the full INDIN paper archive.