Publications

AuthID
P-00K-KHT

Author(s)

Editor(s)

John Derrick; Eerke A. Boiten; Steve Reeves

Document Type

Article

Year published

2015

Published

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

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

Marked List

Info

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

Useful Links