"Combining Theorem Proving and Trajectory Evaluation in an Industrial ..."

Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics