Publications

AuthID
P-008-M6D

Author(s)

Editor(s)

John Derrick; Eerke A. Boiten; Steve Reeves

Document Type

Proceedings Paper

Year published

2013

Published

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

Volume: 115, Pages: 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

Marked List

Info

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

Useful Links