Compositional verification of input-output conformance via csp refinement checking (2009)

by A Sampaio, S Nogueira, A Mota
Venue:in: ICFEM ’09: Proceedings of the 11th International Conference on Formal Engineering Methods