Lamprecht, Anna-Lena, Utrecht University, Netherlands
-
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) - Preface
Preface
Details PDF -
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 - Articles
Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.