BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Book chapters


Title
Behavioural Types: from Theory to Tools

Participants in the publication
Vasco Thudichum Vasconcelos (Author)
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Eduardo R. B. Marques (Author)
Nobuko Yoshida (Author)
Nicholas Ng (Author)

Editor(s)
Simon Gay and António Ravara

Date of Publication
2017

Where published
Behavioural Types: from Theory to Tools

Publication Identifiers
ISBN - 9788793519817,9788793519817

Publisher
River Publisher

Edition
1

Number of pages
20
Starting page
353
Last page
372

Document Identifiers
DOI - https://doi.org/10.13052/rp-9788793519817
URL - http://dx.doi.org/10.13052/rp-9788793519817

Notes
Chapter 16


Export

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