"Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing ..."

Jason Belt, Robby, Xianghua Deng (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics