The AI4FM approach for proof automation within formal methods (2010)
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes.
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Volume: n/a
Parent Publication: UKCRC Grand Challenges in Computing Research (GCCR'10)