2009
Contribution to journal  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) 11 (2009): 355–357. doi:10.1007/s10009-009-0121-6

Publisher: Springer, Heidelberg ;, Germania


Metrics



Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:190078,
	title = {Preface. International Journal on Software Tools for Technology Transfer},
	author = {Margaria T. and Massink M.},
	publisher = {Springer, Heidelberg ;, Germania},
	doi = {10.1007/s10009-009-0121-6},
	year = {2009}
}