Michaël Leuschel
- Fifty Years of Prolog and Beyond
2022/01/26 by Philipp Körner, Michaël Leuschel, Michael Leuschel +23 · 3 voices · 7 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Engineering Research
- Validation Obligations: A Novel Approach to Check Compliance between\n Requirements and their Formal Specification
2021/02/11 by Atif Mashkoor, Michaël Leuschel, Mashkoor, Atif +3 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services