DMCA

Isabelle/Isar - a versatile environment for human-readable formal proof documents (2002)

Cached

Download Links

by Markus M. Wenzel , Technische Universität München
Citations:83 - 12 self