TY - JOUR
T1 - Special Section on "Leveraging Formal Methods"
AU - Margaria, Tiziana
AU - Steffen, Bernhard
PY - 2006/11
Y1 - 2006/11
N2 - This Special Section contains selected papers from ISoLA 2004, the First International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) October-November 2004. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The seven selected papers illustrate the intended variety of ISoLA's scope.
AB - This Special Section contains selected papers from ISoLA 2004, the First International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) October-November 2004. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The seven selected papers illustrate the intended variety of ISoLA's scope.
UR - http://www.scopus.com/inward/record.url?scp=33750460213&partnerID=8YFLogxK
U2 - 10.1007/s10009-006-0028-4
DO - 10.1007/s10009-006-0028-4
M3 - Article
AN - SCOPUS:33750460213
SN - 1433-2779
VL - 8
SP - 467
EP - 469
JO - International Journal on Software Tools for Technology Transfer
JF - International Journal on Software Tools for Technology Transfer
IS - 6
ER -