%0 Thesis %1 phd/hal/Rouillard02 %A Rouillard, Davy %D 2002 %K dblp %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 = {2020-07-21T00:00:00.000+0200}, author = {Rouillard, Davy}, biburl = {https://www.bibsonomy.org/bibtex/2ce40f4ef7cf48b8fb85e8ec842ab4e75/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-01327971}, interhash = {813d27beab3950faece1de030421edb6}, intrahash = {ce40f4ef7cf48b8fb85e8ec842ab4e75}, keywords = {dblp}, school = {University of Bordeaux 1, France}, timestamp = {2020-07-24T00:48:55.000+0200}, 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 }