A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Preface for the special issue for ATVA 2015
2018
Acta Informatica
This volume contains extended versions of selected papers presented at ATVA 2015, the 13th International Symposium on Automated Technology for Verification and Analysis, held during October 12-15, 2015, in Shanghai, China. ATVA is an international recognized conference, focusing on theoretical and practical aspects of automated analysis, verification, and synthesis by providing an international forum for interaction among researchers in academia and industry. ATVA 2015 had 95 regular and 13
doi:10.1007/s00236-018-0330-0
fatcat:g7gcqdqihzfixbycj2xaybc63q