IBP-Masi
1993/75:
Rapport de Recherche Masi /
Masi research reports
pages - Novembre/November 1999 -
Document en anglais.
PostScript : 15 Ko /Kb
Titre / Title: Specification and Verification of parametrized Parallel programs
Abstract :
Publications internes Masi 1993 / Masi research reports 1993