[FinkbeinerPZ18] Preface for the special issue for ATVA 2015 Finkbeiner, B.; Pu, G. and Zhang, L. In Acta Informatica, 55: 625-626, 2018. doi.. 
Downloads: bibURL: https://doi.org/10.1007/s00236-018-0330-0