%0 Journal Article %1 oquendo_06_�?€-method %A Oquendo, Flavio %C New York, NY, USA %D 2006 %I ACM Press %J SIGSOFT Softw. Eng. Notes %K 2006 refinement software_architecture %N 3 %P 1--13 %R 10.1145/1127878.1127885 %T π-Method: a model-driven formal method for architecture-centric software engineering %U http://dx.doi.org/10.1145/1127878.1127885 %V 31

@article{oquendo_06_�?€-method, added-at = {2009-02-11T20:58:25.000+0100}, address = {New York, NY, USA}, author = {Oquendo, Flavio}, biburl = {https://www.bibsonomy.org/bibtex/28a5e5bd7c97638cab5c026d08468d2d9/leonardo}, citeulike-article-id = {771725}, doi = {10.1145/1127878.1127885}, interhash = {3fa7a7672c14a344eea8c3a9b3583d82}, intrahash = {8a5e5bd7c97638cab5c026d08468d2d9}, issn = {0163-5948}, journal = {SIGSOFT Softw. Eng. Notes}, keywords = {2006 refinement software_architecture}, month = May, number = 3, pages = {1--13}, posted-at = {2006-07-24 20:25:57}, priority = {4}, publisher = {ACM Press}, timestamp = {2009-02-11T20:58:25.000+0100}, title = {π-Method: a model-driven formal method for architecture-centric software engineering}, url = {http://dx.doi.org/10.1145/1127878.1127885}, volume = 31, year = 2006 }