Abstract Download postscript 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 }, }