Specification matching of state-based modular components.

David Hemer

Browse the full APSEC paper archive.