Mues, Malte, Technische Universität Dortmund, Germany
-
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 - Articles
Thoughts about using Constraint Solvers in Action
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.