Avis : Maintenance du dépôt institutionnel Constellation. Une mise à jour de l'infrastructure est prévue le mercredi 19 juin à partir de 16h45 pour une durée allant de 24 à 48 heures. Veuillez prévoir des interruptions de services et ne procéder à aucun dépôt durant la période de l'avis. Pour plus d'information
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.
Sauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.
Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec) CANADA G7H 2B1
418 545-5011, poste 5630