Verification formelle des resultats de la Synthese de Haut Niveau, 1999.

Julia Dushina, doktorikraad, 1999, (juh) Raimund Ubar, Verification formelle des resultats de la Synthese de Haut Niveau, 1999., Grenoble’i Fourier’ Ülikool.
doktorikraad
Kaitstud
Ei
1.09.1994
1999
Verification formelle des resultats de la Synthese de Haut Niveau, 1999.
Grenoble’i Fourier’ Ülikool