| Title: | Automatic Structure Verification (ASV) as an AI wizard: the milestones met and the challenges looming ahead |
| Authors: | Carlos Cobas, Felipe Seoane, Stanyslav Sykora |
| Date: | 2013/04/19 |
| Reference: | ENC Conference 2013, Asilomar, California, USA |
| PDF: | ENC_2013-ASV.pdf |
