SpringerLink (Online service), Voronkov, A., & Weidenbach, C. (2013). Programming Logics: Essays in Memory of Harald Ganzinger. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Andrei Voronkov, and Christoph Weidenbach. Programming Logics: Essays in Memory of Harald Ganzinger. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Programming Logics: Essays in Memory of Harald Ganzinger. Springer Berlin Heidelberg : Imprint: Springer, 2013.
Warning: These citations may not always be 100% accurate.
