A tag contract framework for modeling heterogeneous systems.

Published in: Sci. Comput. Program. (2016)

Keyphrases