%0 Conference Paper %1 conf/jfla/BaroM03 %A Baro, Sylvain %A Manoury, Pierre %B JFLA %D 2003 %E Filliâtre, Jean-Christophe %I INRIA %K %P 49-62 %T Un système X Raisonner formellement sur les programmes ML. %U http://dblp.uni-trier.de/db/conf/jfla/jfla2003.html#BaroM03

@inproceedings{conf/jfla/BaroM03, added-at = {2023-12-12T23:26:57.000+0100}, author = {Baro, Sylvain and Manoury, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/22c26b98796542bcbf255c7ef8294eeb3/admin}, booktitle = {JFLA}, crossref = {conf/jfla/2003}, date = {2006-02-08}, editor = {Filliâtre, Jean-Christophe}, interhash = {55ef6f3e2d4c0ca65b85269d67637272}, intrahash = {2c26b98796542bcbf255c7ef8294eeb3}, keywords = {}, pages = {49-62}, publisher = {INRIA}, series = {Collection Didactique}, timestamp = {2023-12-12T23:26:57.000+0100}, title = {Un système X Raisonner formellement sur les programmes ML.}, url = {http://dblp.uni-trier.de/db/conf/jfla/jfla2003.html#BaroM03}, year = 2003 }