%0 Conference Paper %1 conf/jfsma/MermetS17 %A Mermet, Bruno %A Simon, Gaële %B JFSMA %D 2017 %E Garbay, Catherine %E Bonnet, Grégory %I Cépaduès Éditions %K dblp %P 139-148 %T Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve. %U http://dblp.uni-trier.de/db/conf/jfsma/jfsma2017.html#MermetS17 %@ 978-2-36493-602-7

@inproceedings{conf/jfsma/MermetS17, added-at = {2017-08-17T00:00:00.000+0200}, author = {Mermet, Bruno and Simon, Gaële}, biburl = {https://www.bibsonomy.org/bibtex/244dd73a354ded031d5db1096b1831841/dblp}, booktitle = {JFSMA}, crossref = {conf/jfsma/2017}, editor = {Garbay, Catherine and Bonnet, Grégory}, interhash = {9b37d82694ac0290faf6623252597889}, intrahash = {44dd73a354ded031d5db1096b1831841}, isbn = {978-2-36493-602-7}, keywords = {dblp}, pages = {139-148}, publisher = {Cépaduès Éditions}, timestamp = {2017-08-18T11:40:49.000+0200}, title = {Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve.}, url = {http://dblp.uni-trier.de/db/conf/jfsma/jfsma2017.html#MermetS17}, year = 2017 }