Integrated Formal Methods: editorial

Michael Butler, Einar Broch Johnsen, Luigia Petre

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