Work

The use of explicit plans to guide inductive proofs

Year: 2005
Type: conference-paper
Author: Alan Bundy
Language: English
Subfield: Software
Open Access status: green
OpenAlex ID: W1581769579
FWCI: 8.508
Cites: 8
Cited by: 284
Related to: 10