
Michel Bidoit
in English
XProving behavioral refinements of col-specifications
2006
in: Algebra, meaning, and computation, Dordrecht : Springer

in English
XProving behavioral refinements of col-specifications
2006
in: Algebra, meaning, and computation, Dordrecht : Springer