Sciweavers

53
Voted
WADT
1999
Springer

Higher-Order Logic and Theorem Proving for Structured Specifications

15 years 1 months ago
Higher-Order Logic and Theorem Proving for Structured Specifications
Tomasz Borzyszkowski
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1999
Where WADT
Authors Tomasz Borzyszkowski
Comments (0)