Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio. An Eclipse Plug-in for the Java PathFinder Runtime Verification System. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 142-152, IEEE Computer Society, 2006. [doi]
@inproceedings{ArcelliRRU06, title = {An Eclipse Plug-in for the Java PathFinder Runtime Verification System}, author = {Francesca Arcelli Fontana and Claudia Raibulet and Ivano Rigo and Luigi Ubezio}, year = {2006}, doi = {10.1109/SEW.2006.8}, url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.8}, tags = {Java, Eclipse}, researchr = {https://researchr.org/publication/ArcelliRRU06}, cites = {0}, citedby = {0}, pages = {142-152}, booktitle = {30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA}, publisher = {IEEE Computer Society}, }