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]
No reviews for this publication, yet.