Refinement and test case generation in UTP

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)125-143
JournalElectronic Notes in Theoretical Computer Science
Volume187
Issue number1
Publication statusPublished - 2007

Projects

Formal Methods

Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

1/01/95 → …

Project: Research area

Cite this