Istituto di Scienza e Tecnologie dell'Informazione     
Cuellar J., Gnesi S., Latella D. Guest Editorial: Foreword. Science of Computer Programming, 36, n.1 pp. 1-3. Elsevier. Document n. CNUCE-B5-11, 2000.
This special issue was promoted by the Working Group on Formal Methods for Industrial Critical Systems of the European Research Consortium on Informatics and Mathematics (ERCIM - http://www-ercim.inria.fr/).
Subject Computer programming
Formal Methods
D.2.4 Software/Program Verification

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