Higher-Order Logic and Theorem Proving for Structured Specifications (1999)

Cached

Download Links

by Tomasz Borzyszkowski
Venue:in Algebraic Development Techniques, (WADT 99), LNCS
Citations:11 - 0 self