%0 Thesis %1 phd/be/Degrave13 %A Degrave, François %D 2013 %K dblp %T De la génération automatique, basée sur les contraintes, de cas de test pour Mercury et son application aux langages impératifs

@phdthesis{phd/be/Degrave13, added-at = {2023-09-27T00:00:00.000+0200}, author = {Degrave, François}, biburl = {https://www.bibsonomy.org/bibtex/255fb17baa4fdfc1f2c796c82ee7f197d/dblp}, ee = {https://pure.unamur.be/ws/files/12210103/PDF_01_thesisFrancoisDegrave.pdf}, interhash = {29eab1975055c7563cc66afb5f0ca167}, intrahash = {55fb17baa4fdfc1f2c796c82ee7f197d}, keywords = {dblp}, school = {University of Namur, Belgium}, timestamp = {2024-04-09T08:01:48.000+0200}, title = {De la génération automatique, basée sur les contraintes, de cas de test pour Mercury et son application aux langages impératifs}, year = 2013 }