Formal methods: practical applications and foundations: Editorial
Form Methods Syst Des
.
2022 Jan 25:1-4.
doi: 10.1007/s10703-022-00388-6.
Online ahead of print.
Authors
Maurice H Ter Beek
1
,
Annabelle McIver
2
Affiliations
1
ISTI-CNR, Pisa, Italy.
2
Macquarie University, Sydney, Australia.
PMID:
35095202
PMCID:
PMC8788392
DOI:
10.1007/s10703-022-00388-6
No abstract available
Publication types
Editorial