A UTP semantics of pGCL as a homogeneous relation
You are here
| Title | A UTP semantics of pGCL as a homogeneous relation |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Bresciani R, Butterfield A |
| Conference Name | Integrated Formal Methods 2012Integrated Formal Methods 2012 |
| Date Published | 2012 |
| Publisher | Springer LNCS 7321 |
| Conference Location | Pisa, Italy |
| URL | http://ulir.ul.ie/handle/10344/2607 |
