"Symbolic Execution for the Derivation of Meaningful Properties of Hybrid ..."

Angelo E. M. Ciarlini, Thom W. Frühwirth (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics