Repository | Directory | Profile
References
Michel Bidoit
Proving behavioral refinements of col-specifications
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Repository | Directory | Profile
Proving behavioral refinements of col-specifications
2006
in: Algebra, meaning, and computation, Dordrecht : Springer