Are interface theories equivalent to contract theories?

Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli

Browse the full MEMOCODE paper archive.