Moving Specification Structures Between Logical Systems (1998)

Cached

Download Links

by Tomasz Borzyszkowski
Venue:13th WADT’98
Citations:10 - 1 self