Strategies in Modular System Design by Interface Rewriting.

Serafino Cicerone, Francesco Parisi-Presicce

Browse the full ESOP paper archive.