CFP: TPLP 20th Anniversary Special Issue by Editors • October 1, 2019 • Comments Off on CFP: TPLP 20th Anniversary Special Issue By Mirek Truszczynski, University of Kentucky, USA Read more →
Polyvariant program specialisation and its application in program analysis and verification by Editors • October 1, 2019 • Comments Off on Polyvariant program specialisation and its application in program analysis and verification Read more →
