![](/img/cover-not-exists.png)
[ACM Press the 13th international conference - Lugano, Switzerland (2014.04.22-2014.04.26)] Proceedings of the 13th international conference on Modularity - MODULARITY '14 - Compositional reasoning about aspect interference
Figueroa, Ismael, Schrijvers, Tom, Tabareau, Nicolas, Tanter, ÉricYear:
2014
Language:
english
DOI:
10.1145/2577080.2577093
File:
PDF, 835 KB
english, 2014