Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs (1997)

Cached

Download Links

by Bart Jacobs
Venue:Proofs, Proc. TAPSOFT '97, Springer LNCS 1214
Citations:8 - 2 self