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

Fundamental Approaches to Software Engineering - 17th International Conference, Gnesi, Stefania Rensink, Arend (eds.), . Software Engineering Formal methods info:eu-repo/classification/acm/D.2 SOFTWARE ENGINEERING info:eu-repo/classification/acm/D.2.4 Software/Program Verification 17th International Conference, FASE 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings Springer 2014 info:eu-repo/semantics/review http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-ED-010 en In: Fundamental Approaches to Software Engineering. Editorial, Springer, 2014. info:eu-repo/semantics/altIdentifier/url/http://dx.doi.org/10.1007/978-3-642-54804-8 info:eu-repo/semantics/altIdentifier/isbn/978-3-642-54803-1 info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-54804-8 application/pdf http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-ED-010/2014-ED-010.pdf info:eu-repo/semantics/openAccess