%0 Thesis %1 phd/hal/Baro03 %A Baro, Sylvain %D 2003 %K dblp %T Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML.

@phdthesis{phd/hal/Baro03, added-at = {2020-07-21T00:00:00.000+0200}, author = {Baro, Sylvain}, biburl = {https://www.bibsonomy.org/bibtex/28946dbb5d63f4c16e978099e4b38ef2c/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00008416}, interhash = {2fb4a27c009861aa4b3a88f50cc3d989}, intrahash = {8946dbb5d63f4c16e978099e4b38ef2c}, keywords = {dblp}, school = {Paris Diderot University, France}, timestamp = {2020-07-24T00:47:39.000+0200}, title = {Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML.}, year = 2003 }