Systematic Composition and Verification of Abstract Components.

Yunja Choi

Browse the full COMPSAC paper archive.