Division of Informatics
Forrest Hill & 80 South Bridge
|
Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work. | ||
Paper in Conference Proceedings | ||
| PP1055 | 1996 Paper in Conference Proceedings | Cantu Ortiz,F; Bundy,A; Smaill,AD; Basin,D |
|---|---|---|
| Experiments in Automating Hardware Verification using Inductive Proof Planning | ||
PhD Thesis | ||
| PT9709 | 1997 PhD Thesis | Cantu Ortiz,F |
| Proof Planning for Automating Hardware Verification | ||
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}