Laurent Mounier. Méthodes de vérification de spécifications comportementales : étude et mise en œuvre. (Verification methods for behavioural specifications). PhD thesis, Joseph Fourier University, Grenoble, France, 1992. [doi]
@phdthesis{hal-4760,
title = {Méthodes de vérification de spécifications comportementales : étude et mise en œuvre. (Verification methods for behavioural specifications)},
author = {Laurent Mounier},
year = {1992},
url = {https://tel.archives-ouvertes.fr/tel-00004729},
researchr = {https://researchr.org/publication/hal-4760},
cites = {0},
citedby = {0},
school = {Joseph Fourier University, Grenoble, France},
}