%0 Conference Paper %1 conf/icsoft/Oquendo09 %A Oquendo, Flávio %B ICSOFT (1) %D 2009 %E Shishkov, Boris %E Cordeiro, José %E Ranchordas, Alpesh %I INSTICC Press %K dblp %P 208-217 %T On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL. %U http://dblp.uni-trier.de/db/conf/icsoft/icsoft2009-1.html#Oquendo09 %@ 978-989-674-009-2

@inproceedings{conf/icsoft/Oquendo09, added-at = {2009-09-18T00:00:00.000+0200}, author = {Oquendo, Flávio}, biburl = {https://www.bibsonomy.org/bibtex/2c4df6dd24c285b2e34a8a845a604f792/dblp}, booktitle = {ICSOFT (1)}, crossref = {conf/icsoft/2009-1}, date = {2009-09-18}, description = {dblp}, editor = {Shishkov, Boris and Cordeiro, José and Ranchordas, Alpesh}, interhash = {5679e44d2165fac3b3ba8dcbba7740ec}, intrahash = {c4df6dd24c285b2e34a8a845a604f792}, isbn = {978-989-674-009-2}, keywords = {dblp}, pages = {208-217}, publisher = {INSTICC Press}, timestamp = {2009-09-19T11:34:53.000+0200}, title = {On the Correctness of Software Architectures - Formal Specification of Correctness Properties using pi-AAL.}, url = {http://dblp.uni-trier.de/db/conf/icsoft/icsoft2009-1.html#Oquendo09}, year = 2009 }