Mechanical reasoning about families of UTP theories

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)444-479
Number of pages36
JournalScience of Computer Programming
Volume77
Issue number4
DOIs
Publication statusPublished - 1 Apr 2012

Cite this