Syntactic Type Soundness for the Region Calculus (2000)

Cached

Download Links

by Simon Helsen , Peter Thiemann
Citations:18 - 6 self