Sciweavers

Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
Recent countries visiting this post
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements
us7United States
un1
ru1Russian Federation