Automating the translation of assertions using natural language processing techniques.

Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler

Browse the full FDL paper archive.