Interface theories with component reuse.

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov

Browse the full EMSOFT paper archive.