Translating formal software specifications to natural language. In: (2005)

by D A Burke, K Johannisson
Venue:Proc. 5th Intl. Conf. Logical Aspects of Computational Linguistics. Volume 3492 of LNCS.,