Data di Pubblicazione:
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/).
Tipologia CRIS:
05.12 Altro
Keywords:
Computer programming; Formal methods; Software/program verification
Elenco autori:
Gnesi, Stefania; Latella, Diego
Link alla scheda completa:
Pubblicato in: