BibTeX record conf/eurovav/Dondossola99

download as .bib file

@inproceedings{DBLP:conf/eurovav/Dondossola99,
  author    = {Giovanna Dondossola},
  editor    = {Anca I. Vermesan and
               Frans Coenen},
  title     = {Formal Methods for the Engineering and Certification of Safety-critical
               Knowledge-based Systems},
  booktitle = {Validation and Verification of Knowledge Based Systems - Theory, Tools
               and Practice, Collected papers from {EUROVAV} '99, 5th European Symposium
               on Validation and Verification of Knowledge Based Systems,June 9-11,
               199, Oslo, Norway},
  pages     = {113--129},
  publisher = {Kluwer},
  year      = {1999},
  timestamp = {Wed, 17 Apr 2002 07:53:32 +0200},
  biburl    = {https://dblp.org/rec/conf/eurovav/Dondossola99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics