TY  - BOOK
AU  - Gay,Simon
AU  - Ravara,Antonio
TI  - Behavioural types: from theory to tools 
T2  - River Publishers series in automation, control and robotics
AV  - QA76.7 .B44 2017
PY  - 2017///]
CY  - Delft, The Netherlands
PB  - River Publishers
KW  - Programming languages (Electronic computers)
KW  - Electronic books
N1  - Includes bibliographical references and index
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=5050188
ER  -