Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet. Un format fédérateur pour l évaluation de spécifications formelles en programmation logique avec contraintes. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 203-216, Hermes/Lavoisier, 2003.
@inproceedings{BouquetLV03,
title = {Un format fédérateur pour l évaluation de spécifications formelles en programmation logique avec contraintes},
author = {Fabrice Bouquet and Bruno Legeard and Nicolas Vacelet},
year = {2003},
researchr = {https://researchr.org/publication/BouquetLV03},
cites = {0},
citedby = {0},
pages = {203-216},
booktitle = {Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003},
editor = {Mireille Ducassé},
publisher = {Hermes/Lavoisier},
isbn = {2-7462-0739-7},
}