Formal methods: practical applications and foundations: Editorial

Maurice H. ter Beek*, Annabelle McIver

*Corresponding author for this work

Research output: Contribution to journalEditorialpeer-review

Original languageEnglish
Number of pages4
JournalFormal Methods in System Design
Early online date6 Jul 2021
DOIs
Publication statusE-pub ahead of print - 6 Jul 2021

Bibliographical note

Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.

Cite this