Proving and disproving assertion rewrite rules with automated theorem provers

Morin-Allory, Katell, Boulé, Marc, Borrione, Dominique and 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 : 5.

The full text of this document is not available here.

Item Type:	Conference proceeding
Professor:	Professor Boulé, Marc
Affiliation:	Autres
Date Deposited:	14 Oct 2022 20:47
Last Modified:	14 Oct 2022 20:47
URI:	https://espace2.etsmtl.ca/id/eprint/25640

Actions (login required)

View Item