Catherine Nouvet

According to our database, Catherine Nouvet authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2003

Formal Verification of an Incremental Garbage Collector.

Solange Coupet-Grimal, Catherine Nouvet

J. Log. Comput., 2003