Sign in

Automating the translation of assertions using natural language processing techniques.

Mathias SoekenChristopher B. HarrisNabila AbdessaiedIan G. HarrisRolf Drechsler
Published in: FDL (2014)
Keyphrases