APA Style

(Eds.), A, V, A, C, W. (2013). Programming Logics . : .

MLA Style

(Eds.), Andrei, Voronkov, And, Christoph, Weidenbach. "Programming Logics". : , 2013. Information Technology.