Publicações

AuthID
P-015-QXA

Author(s)

Castellani, I

Dezani-Ciancaglini, M

Tipo de Documento

Article

Year published

2016

Publicado

in Formal Aspects of Computing, ISSN: 0934-5043

Volume: 28, Número: 4, Páginas: 669-696

Indexing

Crossref^®15

Google Scholar^®

Publication Identifiers

DOI: 10.1007/s00165-016-0381-3

Source Identifiers

ISSN: 0934-5043

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis