Mechanical reasoning about families of UTP theories

Frank Zeyda; Ana Lucia Caneca Cavalcanti

doi:10.1016/j.scico.2010.02.010

Mechanical reasoning about families of UTP theories

Frank Zeyda, Ana Lucia Caneca Cavalcanti

Computer Science

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

Original language	English
Pages (from-to)	444-479
Number of pages	36
Journal	Science of Computer Programming
Volume	77
Issue number	4
DOIs	https://doi.org/10.1016/j.scico.2010.02.010
Publication status	Published - 1 Apr 2012

Access to Document

10.1016/j.scico.2010.02.010

http://www.sciencedirect.com/science/article/pii/S0167642310000481

Cite this

@article{2682d4c3315e4836ba9c5a5098bb99f1,

title = "Mechanical reasoning about families of UTP theories",

author = "Frank Zeyda and Cavalcanti, {Ana Lucia Caneca}",

year = "2012",

month = apr,

day = "1",

doi = "10.1016/j.scico.2010.02.010",

language = "English",

volume = "77",

pages = "444--479",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "4",

}

TY - JOUR

T1 - Mechanical reasoning about families of UTP theories

AU - Zeyda, Frank

AU - Cavalcanti, Ana Lucia Caneca

PY - 2012/4/1

Y1 - 2012/4/1

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

U2 - 10.1016/j.scico.2010.02.010

DO - 10.1016/j.scico.2010.02.010

M3 - Article

SN - 0167-6423

VL - 77

SP - 444

EP - 479

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 4

ER -

Mechanical reasoning about families of UTP theories

Access to Document

Other files and links

Wolfson Research Merit Award - Ana Cavalcanti

hiJaC: HIJAC: High-Integrity Java applications using circus

ProCLaws: Programming from Control Laws

Cite this

Mechanical reasoning about families of UTP theories

Access to Document

Other files and links

Projects

Wolfson Research Merit Award - Ana Cavalcanti

hiJaC: HIJAC: High-Integrity Java applications using circus

ProCLaws: Programming from Control Laws

Cite this