Additional information
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.