Automated formalization of structured natural language requirements

Author(s):  
Dimitra Giannakopoulou ◽  
Thomas Pressburger ◽  
Anastasia Mavridou ◽  
Johann Schumann
Sign in / Sign up

Export Citation Format

Share Document