Natural language

[Google Scholar]

Notes:
Papers:
  • Translating formal software specifications to natural language / A grammar-based approach [burke:lacl:2005]
  • Who guards the guards? Formal validation of the ARM v8-M architecture specification [reid:oopsla:2017]