Publicações

AuthID
P-008-M6D

Author(s)

Editor(es)

John Derrick; Eerke A. Boiten; Steve Reeves

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

in Proceedings 16th International Refinement Workshop, Refine 2013, Turku, Finland, 11th June 2013. in EPTCS, ISSN: 2075-2180

Volume: 115, Páginas: 84-98

Conference

16Th International Refinement Workshop, Refine 2013, Date: 11 June 2013

Indexing

Scopus^®

Crossref^®1

Google Scholar^®

Publication Identifiers

DOI: 10.4204/EPTCS.115.6

DBLP: journals/corr/abs-1305-6115

SCOPUS: 2-s2.0-84991209699

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