|
Edinburgh Research Archive >
Browsing by Author Basin, David
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) | Supervisor(s) | | 1994 | Coloured rippling: An extension of a theorem proving heuristic | Yoshida, Tetsuya; Bundy, Alan; Green, Ian; Walsh, Toby; Basin, David | - |
| 1996 | Experiments in Automating Hardware Verification using Inductive Proof Planning | Cantu, Francisco; Bundy, Alan; Smaill, Alan; Basin, David | - |
| Jul-1997 | Proof Planning for Automating Hardware Verification | Cantu-Ortiz, Francisco Javier | Bundy, Alan; Smaill, Alan; Basin, David |
Showing results 1 to 3 of 3
|
