Application de techniques de preuve assistée pour la spécification, la vérification et le test. (assisted proof methods for the specification, verification and test).
D. Rouillard. University of Bordeaux 1, France, (2002)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Rouillard02
%A Rouillard, Davy
%D 2002
%K
%T Application de techniques de preuve assistée pour la spécification, la vérification et le test. (assisted proof methods for the specification, verification and test).
@phdthesis{phd/hal/Rouillard02,
added-at = {2023-12-13T02:35:59.000+0100},
author = {Rouillard, Davy},
biburl = {https://www.bibsonomy.org/bibtex/2ce40f4ef7cf48b8fb85e8ec842ab4e75/admin},
ee = {https://tel.archives-ouvertes.fr/tel-01327971},
interhash = {813d27beab3950faece1de030421edb6},
intrahash = {ce40f4ef7cf48b8fb85e8ec842ab4e75},
keywords = {},
school = {University of Bordeaux 1, France},
timestamp = {2023-12-13T02:35:59.000+0100},
title = {Application de techniques de preuve assistée pour la spécification, la vérification et le test. (assisted proof methods for the specification, verification and test).},
year = 2002
}