J. Grandguillot

According to our database, J. Grandguillot authored at least 1 paper in 2003.

Collaborative distances:

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

2003

Réutilisation de preuves formelles : une étude pour le système FoC.

Catherine Dubois, J. Grandguillot, Mathieu Jaume

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003