Publications

AuthID
P-008-M6M

Author(s)

Rodrigues, CJ

Editor(s)

John Derrick; Eerke A. Boiten; Steve Reeves

Document Type

Proceedings Paper

Year published

2011

Published

in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011. in EPTCS, ISSN: 2075-2180

Volume: 55, Pages: 53-64

Conference

15Th International Refinement Workshop, Refine 2011, Date: 20 June 2011

Indexing

Scopus^®

Crossref^®2

Google Scholar^®

Publication Identifiers

DOI: 10.4204/EPTCS.55.4

DBLP: journals/corr/abs-1106-4093

SCOPUS: 2-s2.0-84997426339

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