Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Hallé Sylvain et Tremblay Hugo. (2021). Foundations of fine-grained explainability. Dans Alexandra Silva et K. Rustan M. Leino (dir.), Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings. (p. 500-523). Lecture notes in computer science. Cham, Suisse : Springer.