%0 Conference Paper %1 mostefaoui_07_verification %A Mostefaoui, Farida %A Vachon, Julie %B AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling %C New York, NY, USA %D 2007 %I ACM Press %K _hardcopy 2007 verification alloy aspects uml %P 41--48 %R 10.1145/1229375.1229382 %T Verification of Aspect-UML models using alloy %U http://dx.doi.org/10.1145/1229375.1229382 %@ 9781595936585

@inproceedings{mostefaoui_07_verification, added-at = {2009-02-11T20:52:56.000+0100}, address = {New York, NY, USA}, author = {Mostefaoui, Farida and Vachon, Julie}, biburl = {https://www.bibsonomy.org/bibtex/27e4a77bf3e67232a2369dd004c70e252/leonardo}, booktitle = {AOM '07: Proceedings of the 10th international workshop on Aspect-oriented modeling}, citeulike-article-id = {1727787}, doi = {10.1145/1229375.1229382}, interhash = {b58c32be0deccb60b7c65b20ffb8294f}, intrahash = {7e4a77bf3e67232a2369dd004c70e252}, isbn = {9781595936585}, keywords = {_hardcopy 2007 verification alloy aspects uml}, pages = {41--48}, posted-at = {2008-02-22 14:51:17}, priority = {2}, publisher = {ACM Press}, timestamp = {2009-02-11T20:52:56.000+0100}, title = {Verification of Aspect-UML models using alloy}, url = {http://dx.doi.org/10.1145/1229375.1229382}, year = 2007 }