Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, Department of Computer Science, University of Cyprus, 2004.
Conference: ISoLA2004
@proceedings{isola:2004i,
title = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
year = {2004},
researchr = {https://researchr.org/publication/isola%3A2004i},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
conference = {ISoLA},
editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
volume = {TR-2004-6},
series = {Technical Report},
publisher = {Department of Computer Science, University of Cyprus},
}