Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
languages » language

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... -- Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation...