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
@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} }