Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment

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

Abstract
Download postscript
Bibtex entry


Abstract

Bibtex Entry

@INPROCEEDINGS{aagaard-dac-98,
  AUTHOR = {Aagaard , Mark D. and Jones , Robert B. and Seger , Carl-Johan H. },
  TITLE = {Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment },
  BOOKTITLE = {dac},
  YEAR = {1998},
  MONTH = {jul},
  PAGES = {538-541 },
  ORGANIZATION = {ACM/IEEE },
}


Send questions or comments to Mark Aagaard < markaa@swen.uwaterloo.ca >