Hubert Garavel

Compilation et vérification de programmes LOTOS.
. Joseph Fourier University, Grenoble, France, (1989)
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found