Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment.

Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger

Browse the full DAC paper archive.