Publications
Computer Science, pages 3–22. Springer, 2008bJan Peleska. Integrated and automated abstract interpretation, verification and testing of C/C++ modules. In Dennis R. Dams, Ulrich Hannemann, and Martin Steffen [...] IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, volume 1051 of Lecture Notes in Computer Science, pages 538–556. Springer, 1996. ISBN 3-540-60973-3. doi: 10.1007/3-540-60973-3_106 Jan Peleska. [...] , volume 9933 of Lecture Notes in Computer Science, pages 3–21. Springer, 2016b. ISBN 978-3-319-45942-4. doi: 10.1007/978-3-319-45943-1_1 Jan Peleska, Wen-ling Huang, and Felix Hübner. A novel approach