ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Sat 6 Apr

behapi-2019-papers
11:00 - 12:00: BEHAPI - Mechanising Proofs of Behavioural Types for APIs at S4 (BEHAPI)
Chair(s): Luca PadovaniUniversity of Turin
behapi-2019-papers11:00 - 11:20
Talk
Antonio RavaraNOVA University of Lisbon and NOVA LINCS, Marco GiuntiNOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
behapi-2019-papers11:20 - 11:40
Talk
Ornela DardhaUniversity of Glasgow
behapi-2019-papers11:40 - 12:00
Talk
Marco CarboneIT University of Copenhagen