Document - Editorial - Formal Aspects of Computing

2019

Contribution to journal Open Access

Editorial - Formal Aspects of Computing

Gnesi S., Cavalcanti A., Fitzgerald J., Heitmeyer C.

Formal methods

Source: Formal aspects of computing 31 (2019): 131–132. doi:10.1007/s00165-019-00481-4

Publisher: Springer, London , Regno Unito

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:422753,
	title = {Editorial - Formal Aspects of Computing},
	author = {Gnesi S. and Cavalcanti A. and Fitzgerald J. and Heitmeyer C.},
	publisher = {Springer, London , Regno Unito},
	doi = {10.1007/s00165-019-00481-4},
	year = {2019}
}