2012
Contribution to journal
Restricted
Editorial in Formal Aspects of Computing
Fiadeiro J. L., Gnesi S., Maibaum T.
Formal methods Software engineering Software/Program Verification
Source: Formal aspects of computing 24 (2012): 161–162. doi:10.1007/s00165-012-0224-9
Publisher: Springer, London , Regno Unito
Metrics
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:275110,
title = {Editorial in Formal Aspects of Computing},
author = {Fiadeiro J. L. and Gnesi S. and Maibaum T.},
publisher = {Springer, London , Regno Unito},
doi = {10.1007/s00165-012-0224-9},
year = {2012}
}CNR authorsLaboratories
0000-0002-0139-0421