Deriving Formal Specifications from Informal Requirements.

Dubravka Ilic

Browse the full COMPSAC paper archive.