Automatic Generation of Formal Specification from Requirements Definition.

Lingzi Jin, Hong Zhu

Browse the full ICFEM paper archive.