Sciweavers

WADT
1998
Springer
14 years 4 months ago
Moving Specification Structures Between Logical Systems
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
Tomasz Borzyszkowski