@proceedings{DBLP:conf/isola/2004i,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ISoLA (Preliminary proceedings)},
  editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspie{\ss}},
  publisher = {Department of Computer Science, University of Cyprus},
  series = {Technical Report},
  title = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
  volume = {TR-2004-6},
  year = {2004}
}