Compositional Verification of Input-Output Conformance via CSP Refinement Checking.

Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota

Browse the full ICFEM paper archive.