Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) Preface for the special issue for ATVA 2015. (English) Zbl 1408.68015 Acta Inf. 55, No. 8, 625-626 (2018). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{B. Finkbeiner} (ed.) et al., Acta Inf. 55, No. 8, 625--626 (2018; Zbl 1408.68015) Full Text: DOI
Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. (English) Zbl 1325.68017 Lecture Notes in Computer Science 9364. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). xiii, 520 p. (2015). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{B. Finkbeiner} (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12--15, 2015. Proceedings. Cham: Springer (2015; Zbl 1325.68017) Full Text: DOI