Compositional reasoning about aspect interference

Figueroa, I; Schrijvers T.; Tabareau, N; Tanter É.

Más información

Título según SCOPUS: Compositional reasoning about aspect interference
Título de la Revista: MODULARITY 2014 - Proceedings of the 13th International Conference on Modularity (Formerly AOSD)
Editorial: Association for Computing Machinery
Fecha de publicación: 2014
Página de inicio: 133
Página final: 144
Idioma: English
DOI:

10.1145/2577080.2577093

Notas: SCOPUS