Invariants, Bisimulations and the Correctness of Coalgebraic Refinements (1997)

View PDF

Download Links

by Bart Jacobs
Venue:Techn. Rep. CSI-R9704, Comput. Sci. Inst., Univ. of Nijmegen
Citations:14 - 4 self