Document - Formal methods: practical applications and foundations

2021

Contribution to journal Open Access

Formal methods: practical applications and foundations

Ter Beek M. H., Mciver A.

Formal Methods

Source: Formal methods in system design 58 (2021): 1–4. doi:10.1007/s10703-021-00380-6

Publisher: Kluwer Academic Publishers, Dordrecht ;, Stati Uniti d'America

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:455288,
	title = {Formal methods: practical applications and foundations},
	author = {Ter Beek M. H. and Mciver A.},
	publisher = {Kluwer Academic Publishers, Dordrecht ;, Stati Uniti d'America},
	doi = {10.1007/s10703-021-00380-6},
	year = {2021}
}