Translating formal software specifications to natural language / A grammar-based approach
David A. Burke, Kristofer Johannisson[doi] [Google Scholar] [DBLP] [Citeseer]
Logical Aspects of Computational Linguistics (LACL 2005)
LNAI, volume 3402
Springer
Pages 51-66
2005
Note(s): formal specification, natural language
LNAI, volume 3402
Springer
Pages 51-66
2005
Note(s): formal specification, natural language