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

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