Programming logics : essays in memory of Harald Ganzinger /

Corporate Authors: SpringerLink (Online service)
Group Author: Voronkov, Andrei, 1959-; Weidenbach, Christoph
Published: Springer,
Publication Dates: 2013.