A Comparative Study of a GUI-Aided Formal Specification Construction Approach.

Fumiko Nagoya, Shaoying Liu

Browse the full ICCSA paper archive.