Geometric Logic As A Specification Language (0)

Cached

Download Links

by Steven Vickers
Venue:in: Hankin, Mackie and Nagarajan (eds), Theory and Formal Methods of Computing
Citations:5 - 3 self