Details for the publication FinkbeinerPZ18.

Bernd Finkbeiner, Geguang Pu, Lijun Zhang: Preface for the special issue for ATVA 2015. In Acta Informatica 55(8):625-626, 2018. DOI BIB