BibTeX record conf/nddl/SilvaP03

• > Home > conf/nddl/SilvaP03

@inproceedings{DBLP:conf/nddl/SilvaP03,
  author       = {Leandro Dias da Silva and
                  Angelo Perkusich},
  editor       = {Pedro T. Isa{\'{\i}}as and
                  Florence S{\`{e}}des and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Formal Verification of Component-Based Software Systems},
  booktitle    = {New Technologies for Information Systems, Proceedings of the 3rd International
                  Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
                  the 1st International Workshop on Validation and Verification of Software
                  for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
                  {ICEIS} 2003, Angers, France, April 2003},
  pages        = {113--124},
  publisher    = {{ICEIS} Press},
  year         = {2003},
  timestamp    = {Thu, 23 Oct 2014 13:51:12 +0200},
  biburl       = {https://dblp.org/rec/conf/nddl/SilvaP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}