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.
@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}
}
Get EndNote Reference (.ref)