Coalgebraic Reasoning about Classes in Object-Oriented Languages (1998)

Cached

Download Links

by Bart Jacobs
Venue:In Coalgebraic Methods in Computer Science, number 11. Electronic Notes in Computer Science
Citations:10 - 0 self