| la date de réponse | 1997 |
|---|---|
| langue originale | Anglais |
| Superviseur | Jean-Marie Jacquet (Promoteur) |
The sharing tree data structure:: theory and applications in formal verification
Student thesis: Doc types › Docteur en Sciences