DMCA

A Proof Planning Framework for Isabelle (2005)

Cached

Download Links

by Lucas Dixon
Citations:15 - 9 self