Mechanical Reasoning about Families of UTP Theories

Research output: Contribution to journal › Article › peer-review

Original language	Undefined/Unknown
Pages (from-to)	239-257
Number of pages	19
Journal	Electronic Notes in Theoretical Computer Science
Volume	240
Issue number	C
Publication status	Published - 2 Jul 2009

Access to Document

@article{5e2e3ccaf7c948d397aa457ecddc2a35,

title = "Mechanical Reasoning about Families of UTP Theories",

author = "Frank Zeyda and Ana Cavalcanti",

year = "2009",

month = jul,

day = "2",

language = "Undefined/Unknown",

volume = "240",

pages = "239--257",

journal = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "C",

}

TY - JOUR

T1 - Mechanical Reasoning about Families of UTP Theories

AU - Zeyda, Frank

AU - Cavalcanti, Ana

PY - 2009/7/2

Y1 - 2009/7/2

UR - http://www.scopus.com/inward/record.url?scp=67649435738&partnerID=8YFLogxK

M3 - Article

VL - 240

SP - 239

EP - 257

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - C

ER -