Exportar referência
APA
(2017). Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports, 1, 158-189.
IEEE
"Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)" in Dagstuhl Reports, vol. 1, pp. 158-189, 2017.
BIBTEX
@article{43730,
author = {},
title = {Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)},
journal = {Dagstuhl Reports},
year = 2017,
pages = {158-189},
volume = 1
}