Translating Formal Software Specifications to Natural Language / A GrammarBased Approach (2005)

by D A Burke, K Johannisson
Venue:Logical Aspects of Computational Linguistics (LACL 2005), volume 3492 of LNCS/LNAI