%0 Conference Paper %1 conf/rr/BassiliadesAG07 %A Bassiliades, Nick %A Antoniou, Grigoris %A Governatori, Guido %B RR %D 2007 %E Marchiori, Massimo %E Pan, Jeff Z. %E de Sainte Marie, Christian %I Springer %K %P 249-258 %T Proof Explanation in the DR-DEVICE System. %U http://dblp.uni-trier.de/db/conf/rr/rr2007.html#BassiliadesAG07 %V 4524 %@ 978-3-540-72981-5

@inproceedings{conf/rr/BassiliadesAG07, added-at = {2023-12-12T19:21:03.000+0100}, author = {Bassiliades, Nick and Antoniou, Grigoris and Governatori, Guido}, biburl = {https://www.bibsonomy.org/bibtex/26f6669323681cf8debe1ca6dc9c9869e/admin}, booktitle = {RR}, crossref = {conf/rr/2007}, editor = {Marchiori, Massimo and Pan, Jeff Z. and de Sainte Marie, Christian}, ee = {https://www.wikidata.org/entity/Q58177195}, interhash = {1f657521f919964bd0b2934ed01c7923}, intrahash = {6f6669323681cf8debe1ca6dc9c9869e}, isbn = {978-3-540-72981-5}, keywords = {}, pages = {249-258}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:21:03.000+0100}, title = {Proof Explanation in the DR-DEVICE System.}, url = {http://dblp.uni-trier.de/db/conf/rr/rr2007.html#BassiliadesAG07}, volume = 4524, year = 2007 }