Combining behavioural types with security analysis
Year: 2015
Type: article
Authors: Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira
Institutions: University of Cagliari, Institut national de recherche en sciences et technologies du numérique, Centre Inria d'Université Côte d'Azur, Royal Holloway University of London, University of Turin, University of Novi Sad, University of Groningen, University of Freiburg, Universidade Nova de Lisboa, IMT School for Advanced Studies Lucca
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
Award: G3968826516
OpenAlex ID: W1863884977