A Proof Planning Framework for Isabelle (2005)

View PDF

Download Links

by Lucas Dixon
Citations:14 - 9 self