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

Documents publiés par "Leino, K. Rustan M."

[Monter] Monter d'un niveau
Exporter comme [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Regroupement : Aucun | Type de document | Date
Nombre de documents : 1.

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.

Cette liste a été générée le Sat Dec 21 09:40:37 2024 EST.

Creative Commons LicenseSauf 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