Refinement and test case generation in UTP

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	125-143
Journal	Electronic Notes in Theoretical Computer Science
Volume	187
Issue number	1
Publication status	Published - 2007

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

@article{3226c1af5907482d94008307cff1748e,

title = "Refinement and test case generation in UTP",

author = "Bernhard Aichernig and Jifeng He",

year = "2007",

language = "English",

volume = "187",

pages = "125--143",

journal = "Electronic Notes in Theoretical Computer Science ",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "1",

}