C. Le Faou

According to our database, C. Le Faou authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1996

HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment.

Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996