Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet. Un format fédérateur pour l évaluation de spécifications formelles en Programmation Logique avec Contraintes. Technique et Science Informatiques, 22(1):203-216, 2003. [doi]
@article{BouquetLV03:0,
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},
url = {http://tsi.revuesonline.com/article.jsp?articleId=4656},
researchr = {https://researchr.org/publication/BouquetLV03%3A0},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {22},
number = {1},
pages = {203-216},
}