Bundy, Alan and Grov, Gudmund and Jones, Cliff B (2009) Learning from experts to aid the automation of proof search. In: 9th International Workshop on Automated Verification of Critical Systems: AVoCS 2009. (In Press)
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Tool developments > Provers Methodology |
| ID Code: | 179 |
| Deposited By: | Miss Jodi Hossbach |
| Deposited On: | 12 Jan 2010 10:11 |
| Last Modified: | 12 Jan 2010 10:11 |
Repository Staff Only: item control page
