Combining behavioural types with security analysis.

Bartoletti, M.; Castellani, I.; Deniélou, P.-M.; Dezani-Ciancaglini, M.; Ghilezan, S.; Pantovic, J.; Pérez, J.A.; Thiemann, P.; Toninho, B.; Vieira, H.T.

Informações chave

Autores:

Bartoletti, M.; Castellani, I.; Deniélou, P.-M.; Dezani-Ciancaglini, M.; Ghilezan, S.; Pantovic, J.; Pérez, J.A.; Thiemann, P.; Toninho, B. (Bernardo Toninho); Vieira, H.T.

Publicado em

2015

Detalhes da publicação

Autores da comunidade :

Bernardo Toninho
ist430366
De: dblp
ID: journals/corr/BartolettiCDDGP15
De: orcid
ID: 40671124

Editora

J. Log. Algebraic Methods Program.

Título do contentor da publicação

Journal of Logical and Algebraic Methods in Programming

Primeira página ou número de artigo

763

Última página

780

Volume

84

DOI

10.1016/j.jlamp.2015.09.003

Domínio Científico (FOS)

computer-and-information-sciences - Ciências da Computação e da Informação

Idioma da publicação (código ISO)

eng - Inglês

Acesso à publicação:

Acesso apenas a metadados