2009
Journal article
Restricted
Preface. International Journal on Software Tools for Technology Transfer
Margaria T, Massink M
Formal methods; Industrial critical systems
Source: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (PRINT), vol. 11 (issue 5), pp. 355-357
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:190078,
title = {Preface. International Journal on Software Tools for Technology Transfer},
author = {Margaria T and Massink M},
year = {2009}
}CNR authorsLaboratories
0000-0001-5089-002X