International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings (bibtex)
by Unknown
Reference:
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings, (Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, eds.), Department of Computer Science, University of Cyprus, volume TR-2004-6, 2004.
Bibtex Entry:
@Proceedings{Margaria2004,
  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)},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser