Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States

Registered user since Wed 4 Sep 2019

Name:Marina Reich
Affiliation:Chemnitz University of Technology/ Airbus Defence and Space GmbH


ASE 2019 Inference of Properties from Requirements and Automation of their Formal Verification
Show activities from other conferences

ASE 2019-profile
View general profile