2023
Contribution to journal
Open Access
Introduction to the special collection from iFM 2022
Monahan R., Ter Beek M. H.
Formal methods Integrated formal methods Theorem proving Static analysis Synthesis
Source: Formal aspects of computing 35 (2023): 1–2. doi:10.1145/3622995
Publisher: Springer, London , Regno Unito
Metrics
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:486818,
title = {Introduction to the special collection from iFM 2022},
author = {Monahan R. and Ter Beek M. H.},
publisher = {Springer, London , Regno Unito},
doi = {10.1145/3622995},
year = {2023}
}CNR authorsLaboratories
0000-0002-2930-6367CNR ExploRA
ISTI Repository
DOIAlso available from
ISTI Repository
DOIAlso available from
