"LPAR 2013, 19th International Conference on Logic for Programming, ..."

Kenneth L. McMillan et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics