Giovanni Funchal

	2009
1		Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal: Formal and executable contracts for transaction-level modeling in SystemC. EMSOFT 2009: 97-106

Coauthor Index

1	Tayeb Bouhadiba	[1]
2	Florence Maraninchi	[1]