Sciweavers

Share
AMAST
1997
Springer

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements

10 years 8 months ago
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
Bart Jacobs
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1997
Where AMAST
Authors Bart Jacobs
Comments (0)
books