Exportar referência
APA
Vasco Thudichum Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida, Nicholas Ng, (2017). Behavioural Types: from Theory to Tools. Behavioural Types: from Theory to Tools, 353-372
IEEE
Vasco Thudichum Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida, Nicholas Ng, "Behavioural Types: from Theory to Tools" in Behavioural Types: from Theory to Tools, 2017, pp. 353-372
BIBTEX
@incollection{42124,
author = {Vasco Thudichum Vasconcelos and Francisco Martins and Eduardo R. B. Marques and Nobuko Yoshida and Nicholas Ng},
title = {Behavioural Types: from Theory to Tools},
booktitle = {Behavioural Types: from Theory to Tools},
year = 2017,
pages = {353-372},
address = {},
publisher = {River Publisher}
}