Integrated Formal Methods: editorial

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

Research output: Contribution to journalEditorialScientificpeer-review

Original languageEnglish
Pages (from-to)611–612
JournalFormal Aspects of Computing
Volume27
Issue number4
DOIs
Publication statusPublished - 2015
MoE publication typeB1 Article in a scientific magazine

Cite this