Istituto di Scienza e Tecnologie dell'Informazione     
Margaria T., Massink M. Preface of the Special Section on FMIS05. In: International Journal on Software Tools for Technology Transfer. Editorial, vol. 11 (5) pp. 355 - 357. Springer Berlin/Heidelberg, 2009.
Preface to the tenth International Workshop on Formal Methods for Industrial Critical Systems held in Lisbon in 2005.
URL: http://www.springerlink.com/content/w13702835644/?p=eef2191a33ba4a978b1829316e15c7e1&pi=0
Subject Formal Methods
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional