Refinement Checking for Interface Automata with Z Notation.

Zining Cao

Browse the full SEKE paper archive.