%0 Conference Paper %1 conf/iwpse/DenaroM01 %A Denaro, Giovanni %A Monga, Mattia %B IWPSE %D 2001 %E Tamai, Tetsuo %I ACM %K dblp %P 186-189 %T An Experience on Verification of Aspect Properties. %U http://dblp.uni-trier.de/db/conf/iwpse/iwpse2001.html#DenaroM01 %@ 978-1-58113-508-4

@inproceedings{conf/iwpse/DenaroM01, added-at = {2020-01-10T00:00:00.000+0100}, author = {Denaro, Giovanni and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/25dce14904d0396ee522b2415f2c2fff1/dblp}, booktitle = {IWPSE}, crossref = {conf/iwpse/2001}, editor = {Tamai, Tetsuo}, ee = {https://doi.org/10.1145/602461.602506}, interhash = {a8224099ca833d73ea5ff403b7ce542d}, intrahash = {5dce14904d0396ee522b2415f2c2fff1}, isbn = {978-1-58113-508-4}, keywords = {dblp}, pages = {186-189}, publisher = {ACM}, timestamp = {2020-01-11T11:43:34.000+0100}, title = {An Experience on Verification of Aspect Properties.}, url = {http://dblp.uni-trier.de/db/conf/iwpse/iwpse2001.html#DenaroM01}, year = 2001 }