BibTeX record conf/icsoft/Oquendo09

download as .bib file

@inproceedings{DBLP:conf/icsoft/Oquendo09,
  author       = {Fl{\'{a}}vio Oquendo},
  editor       = {Boris Shishkov and
                  Jos{\'{e}} Cordeiro and
                  Alpesh Ranchordas},
  title        = {On the Correctness of Software Architectures - Formal Specification
                  of Correctness Properties using pi-AAL},
  booktitle    = {{ICSOFT} 2009 - Proceedings of the 4th International Conference on
                  Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29,
                  2009},
  pages        = {208--217},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Fri, 18 Sep 2009 15:02:40 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/Oquendo09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics