BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Capítulo em Livro


Título
Behavioural Types: from Theory to Tools

Participantes na publicação
Vasco Thudichum Vasconcelos (Author)
Francisco Martins (Author)
Dep. Informática
LASIGE
Eduardo R. B. Marques (Author)
Nobuko Yoshida (Author)
Nicholas Ng (Author)

Editor
Simon Gay and António Ravara

Data de Publicação
2017

Suporte
Behavioural Types: from Theory to Tools

Identificadores da Publicação
ISBN - 9788793519817,9788793519817

Editora
River Publisher

Edição
1

Número de Páginas
20
Página Inicial
353
Página Final
372

Identificadores do Documento
DOI - https://doi.org/10.13052/rp-9788793519817
URL - http://dx.doi.org/10.13052/rp-9788793519817

Anotações
Chapter 16


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} }