2021
Journal article
Open Access
Formal methods: practical applications and foundations
Ter Beek Mh, Mciver A
Formal Methods
Source: FORMAL METHODS IN SYSTEM DESIGN, vol. 58 (issue 1-2), pp. 1-4
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:455288,
title = {Formal methods: practical applications and foundations},
author = {Ter Beek Mh and Mciver A},
year = {2021}
}CNR authorsLaboratories
0000-0002-2930-6367