DMCA

Towards Lean Proof Checking (1996)

Cached

Download Links

by G. Barthe , H. Elbers
Venue:Proceedings of DISCO'96, volume 1128 of Lecture Notes in Computer Science
Citations:1 - 1 self