Proving and disproving assertion rewrite rules with automated theorem provers

Morin-Allory, Katell, Boulé, Marc, Borrione, Dominique et Zilic, Zeljko. 2008. « Proving and disproving assertion rewrite rules with automated theorem provers ». In IEEE International High Level Design Validation and Test Workshop (Incline Village, NV, USA, Nov. 19-21, 2008) pp. 56-63. IEEE.
Compte des citations dans Scopus : 4.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: https://doi.org/10.1109/HLDVT.2008.4695875

Type de document:	Compte rendu de conférence
Professeur:	Professeur Boulé, Marc
Affiliation:	Autres
Date de dépôt:	14 oct. 2022 20:47
Dernière modification:	14 oct. 2022 20:47
URI:	https://espace2.etsmtl.ca/id/eprint/25640

Actions (Authentification requise)

Dernière vérification avant le dépôt