Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment
DAC, 1998.
@inproceedings{DAC-1998-AagaardJS,
author = "Mark Aagaard and Robert B. Jones and Carl-Johan H. Seger",
booktitle = "{Proceedings of the 35th Design Automation Conference}",
doi = "10.1145/277044.277189",
isbn = "0-89791-964-5",
pages = "538--541",
publisher = "{ACM Press}",
title = "{Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment}",
year = 1998,
}