Premium
Preface
Author(s) -
Giuseppe F. Italiano,
Alberto Marchetti-Spaccamela
Publication year - 1994
Publication title -
annals of the new york academy of sciences
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.712
H-Index - 248
eISSN - 1749-6632
pISSN - 0077-8923
DOI - 10.1111/j.1749-6632.1994.tb30429.x
Subject(s) - citation , annals , library science , computer science , classics , history
This volume contains the papers presented at SEFM 2017, the 15th International Conference on Software Engineering and Formal Methods, held on September 4–8 in Trento, Italy. SEFM 2017 was organized and hosted by the Fondazione Bruno Kessler (FBK), Trento, Italy. The SEFM conference aims to bring together leading researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest for submission included the following aspects of software engineering and formal methods: