Repository | People

150045

References

Michel Bidoit

Proving behavioral refinements of col-specifications

2006

with Hennicker Rolf

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link