Exercises in Coalgebraic Specification (1999)

Cached

Download Links

by Bart Jacobs
Citations:16 - 2 self