Jump to : BibTex reference | EndNote reference |

isola2004

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\ss (eds.), Technical Report, Department of Computer Science, University of Cyprus, 2004.

BibTex Reference

@Book{isola2004,
   Title = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
   BookTitle = {ISoLA (Preliminary proceedings)},
   editor = {Margaria, Tiziana and Steffen, Bernhard and Philippou, Anna and Reitenspie\ss, Manfred},
   Volume = {TR-2004-6},
   Series = {Technical Report},
   Publisher = {Department of Computer Science, University of Cyprus},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)