Schürmann, Jonas, TU Dortmund University, Germany
-
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 - Articles
Evolve: Language-Driven Engineering in Industrial Practice
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.