@Proceedings{DBLP:conf/isola/2004i,
  Title                    = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
  Year                     = {2004},
  Editor                   = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspie{\ss}},
  Publisher                = {Department of Computer Science, University of Cyprus},
  Series                   = {Technical Report},
  Volume                   = {TR-2004-6},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {ISoLA (Preliminary proceedings)}
}