ArcAngelC: a Refinement Tactic Language for Circus

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

Original language	Undefined/Unknown
Pages (from-to)	203-229
Number of pages	27
Journal	Electronic Notes in Theoretical Computer Science
Volume	214
Issue number	C
Publication status	Published - 28 Jun 2008

Access to Document

@article{b18ae9b1342949fd8c7ac2dde08b1943,

title = "ArcAngelC: a Refinement Tactic Language for Circus",

author = "Marcel Oliveira and Ana Cavalcanti",

year = "2008",

month = jun,

day = "28",

language = "Undefined/Unknown",

volume = "214",

pages = "203--229",

journal = "Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

number = "C",

}

TY - JOUR

T1 - ArcAngelC: a Refinement Tactic Language for Circus

AU - Oliveira, Marcel

AU - Cavalcanti, Ana

PY - 2008/6/28

Y1 - 2008/6/28

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

M3 - Article

VL - 214

SP - 203

EP - 229

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - C

ER -