Integrated Formal Methods: editorial

Butler Michael, Johnsen Einar, Luigia Petre, M Butler (Editor), EB Johnsen (Editor), L Petre (Editor)

Research output: Contribution to journalArticleScientificpeer-review

Original languageUndefined/Unknown
Pages (from-to)611–612
JournalFormal Aspects of Computing
Volume27
Issue number4
DOIs
Publication statusPublished - 2015
MoE publication typeA1 Journal article-refereed

Cite this