@proceedings{DBLP:conf/eurovav/1993,
  editor    = {Jes{\'u}s Carde{\~n}osa and
               Pedro Meseguer},
  title     = {Proceedings of the European Symposium on the Validation
               and Verification of Knowledge Based Systems, EUROVAV '93,
               24-26 March 1993, Universidad de las Islas Baleares, Palma
               de Mallorca, Spain},
  booktitle = {EUROVAV},
  publisher = {Universidad Polit{\'e}cnica de Madrid},
  year      = {1993},
  isbn      = {84-604-5817-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}