Producing Explanations for Rich Logics

Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-95582-7_8 ◽

2018 ◽

pp. 129-146

Author(s):

Simon Busard ◽

Charles Pecheur

Download Full-text