![]() | Up a level |
Baron, R. & Plamondon, R. (1987). Design d'un logiciel expérimental de vérification automatique de signatures. (Technical Report n° EPM-RT-87-40). Item availablity restricted.
Baron, R. & Plamondon, R. (1984). Logiciel de développement de programmes par interaction manuscrite. (Technical Report n° EP-R-84-18). Item availablity restricted.