in Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6416, Issue: PART 2, Pages: 263-277
Conference
4Th International Symposium on Leveraging Applications, Isola 2010, Date: 18 October 2010 through 21 October 2010, Location: Heraklion, Crete, Sponsors: European Association of Software Science and Technology (EASST)