Publication

[FinkbeinerPZ18] Preface for the special issue for ATVA 2015 Finkbeiner, B.; Pu, G. and Zhang, L. In Acta Informatica, 55: 625-626, 2018.
Downloads: bib