oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2014-ED-009 2015-01-28 openaire

2nd FME Workshop on Formal Methods in Software Engineering Gnesi, Stefania Plat, Nico (eds.), . SOFTWARE ENGINEERING, Formal methods info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Formal methods ACM 2014 info:eu-repo/semantics/review http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-ED-009 en In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering. Editorial, pp. iii - iv. ACM, 2014. info:eu-repo/semantics/altIdentifier/url/http://dl.acm.org/citation.cfm?id=2593489 info:eu-repo/semantics/altIdentifier/isbn/978-1-4503-2853-1 application/pdf http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-ED-009/2014-ED-009.pdf info:eu-repo/semantics/openAccess