Formal methods: practical applications and foundations

Maurice H. ter Beek*, Annabelle McIver

*Corresponding author for this work

Research output: Contribution to journalEditorial

Original languageEnglish
Pages (from-to)1-4
Number of pages4
JournalFormal Methods in System Design
Volume58
Issue number1-2
Early online date6 Jul 2021
DOIs
Publication statusPublished - Oct 2021

Cite this