Publication Date:
2000
abstract:
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/).
Iris type:
05.12 Altro
Keywords:
Computer programming; Formal methods; Software/program verification
List of contributors:
Gnesi, Stefania; Latella, Diego
Published in: