A Proof Planning Framework for Isabelle (2005)

Cached

Download Links

by Lucas Dixon
Citations:13 - 9 self