Merkliste 
 1 Ergebnisse 
 
1

Foundations of Fine-Grained Explainability:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Hallé, Sylvain ; Tremblay, Hugo - p. 500-523 , 2021