PUMA
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.
 
 
Abstract
(English)
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