Article In: dblp, orcid

Combining behavioural types with security analysis.

Journal of Logical and Algebraic Methods in Programming

Bartoletti, M.; Castellani, I.; Vieira, H.T. — 2015 — J. Log. Algebraic Methods Program.

Key information

Authors:

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.

Published in

2015

Publication details

Authors in the community:

  • Bernardo Toninho

    Bernardo Toninho

    ist430366

    In: dblp

    ID: journals/corr/BartolettiCDDGP15

    In: orcid

    ID: 40671124

Publisher

J. Log. Algebraic Methods Program.

Title of the publication container

Journal of Logical and Algebraic Methods in Programming

First page or article number

763

Last page

780

Volume

84

DOI

10.1016/j.jlamp.2015.09.003

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available