Friends or Foes? Communities in Software Verification (Invited Lecture) (bibtex)
by Helmut Veith
Reference:
Friends or Foes? Communities in Software Verification (Invited Lecture)Helmut VeithComputer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (Matthias Baaz, Johann A. Makowsky, eds.), pages 528-529, 2003, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/csl/Veith03,
  author = {Helmut Veith},
  title = {Friends or Foes? Communities in Software Verification (Invited  Lecture)},
  year = {2003},
  booktitle = {Computer Science Logic, 17th International Workshop, CSL 2003, 12th   Annual Conference of the EACSL, and 8th Kurt G{\"u}del Colloquium, KGC 2003,   Vienna, Austria, August 25-30, 2003, Proceedings},
  editor = {Matthias Baaz and Johann A. Makowsky},
  pages = {528--529},
  publisher = {Springer},
  isbn = {3-540-40801-0},
  url = {http://springerlink.metapress.com/openurl.asp?genre$=$article\&issn$=$0% 302-9743\&volume$=$2803\&spage$=$528}
}
Powered by bibtexbrowser