ProfileOfResearchers

TÃTULO: Static analysis techniques for session-oriented calculi
AUTORES: Acciai, L; Bodei, C; Boreale, M; Bruni, R; Vieira, HT ;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582

INDEXADO EM: