Special Section on "Leveraging Formal Methods"

Tiziana Margaria; Bernhard Steffen

doi:10.1007/s10009-006-0028-4

Special Section on "Leveraging Formal Methods"

Tiziana Margaria
, Bernhard Steffen

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	467-469
Number of pages	3
Journal	International Journal on Software Tools for Technology Transfer
Volume	8
Issue number	6
DOIs	https://doi.org/10.1007/s10009-006-0028-4
Publication status	Published - Nov 2006
Externally published	Yes

Access to Document

10.1007/s10009-006-0028-4

Cite this

@article{83aaa4f3695b4bd9a3c242d505f50cb4,

title = "Special Section on {"}Leveraging Formal Methods{"}",

abstract = "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.",

author = "Tiziana Margaria and Bernhard Steffen",

year = "2006",

month = nov,

doi = "10.1007/s10009-006-0028-4",

language = "English",

volume = "8",

pages = "467--469",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

number = "6",

}

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 - https://www.scopus.com/pages/publications/33750460213

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 -

Special Section on "Leveraging Formal Methods"

Abstract

Access to Document

Other files and links

Cite this