%0 Conference Paper %1 conf/lmo/DhaussyABBL08 %A Dhaussy, Philippe %A Auvray, Julien %A de Belloy, Stéphane %A Boniol, Frédéric %A Landel, Eric %B LMO %D 2008 %E Sahraoui, Houari A. %E Blay-Fornarino, Mireille %E Guéhéneuc, Yann-Gaël %I Cépaduès-Éditions %K dblp %P 61-63 %T Un langage de contexte de preuve pour la validation formelle de modèles logiciels. %U http://dblp.uni-trier.de/db/conf/lmo/lmo2008.html#DhaussyABBL08 %V L-1 %@ 978-2-85428-824-7

@inproceedings{conf/lmo/DhaussyABBL08, added-at = {2014-04-25T00:00:00.000+0200}, author = {Dhaussy, Philippe and Auvray, Julien and de Belloy, Stéphane and Boniol, Frédéric and Landel, Eric}, biburl = {https://www.bibsonomy.org/bibtex/255e9b31d935c2e18ffd175e63733ea84/dblp}, booktitle = {LMO}, crossref = {conf/lmo/2008}, editor = {Sahraoui, Houari A. and Blay-Fornarino, Mireille and Guéhéneuc, Yann-Gaël}, ee = {http://editions-rnti.fr/?inprocid=1000579}, interhash = {20ac6efb670b2dc53093e5fdd775b813}, intrahash = {55e9b31d935c2e18ffd175e63733ea84}, isbn = {978-2-85428-824-7}, keywords = {dblp}, pages = {61-63}, publisher = {Cépaduès-Éditions}, series = {RNTI}, timestamp = {2015-06-18T18:48:55.000+0200}, title = {Un langage de contexte de preuve pour la validation formelle de modèles logiciels.}, url = {http://dblp.uni-trier.de/db/conf/lmo/lmo2008.html#DhaussyABBL08}, volume = {L-1}, year = 2008 }