A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Editorial
2016
Formal Aspects of Computing
Editorial This special issue of the Formal Aspects of Computing journal contains a selection of the best papers accepted at the 12th edition of the international conference series on Software Engineering and Formal Methods (SEFM). This conference was held in Grenoble (France) on September 1-5, 2014. The aim of the conference was to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application
doi:10.1007/s00165-016-0368-0
fatcat:mvzd6cu7cff2pj2l3phcqekbja