Publicações

AuthID
P-00K-KHT

Author(s)

Editor(es)

John Derrick; Eerke A. Boiten; Steve Reeves

Tipo de Documento

Article

Year published

2015

Publicado

in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE in EPTCS, ISSN: 2075-2180

Volume: 209, Número: 209, Páginas: 40-56 (17)

Conference

17Th International Workshop on Refinement, Refine 2015, Date: 22 June 2015

Indexing

Wos^®

Scopus^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.4204/eptcs.209.4

DBLP: journals/corr/MadeiraMB16

SCOPUS: 2-s2.0-84991678540

Wos: WOS:000390316700005

Source Identifiers

ISSN: 2075-2180

Export Publication Metadata

Lista Marked

Info

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

Links Úteis