Debug enhancements in assertion-checker generation

Boulé, M., Chenard, J. S. and Zilic, Z.. 2007. « Debug enhancements in assertion-checker generation ». IET Computers and Digital Techniques, vol. 1, nº 6. pp. 669-677.
Compte des citations dans Scopus : 24.

The full text of this document is not available here.

Item Type:	Peer reviewed article published in a journal
Professor:	Professor Boulé, Marc
Affiliation:	Autres
Date Deposited:	14 Oct 2022 20:35
Last Modified:	14 Oct 2022 20:35
URI:	https://espace2.etsmtl.ca/id/eprint/25626

Actions (login required)

View Item