|
1
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
<record xmlns="http://www.openarchives.org/OAI/2.0/">
|
|
3
|
<header>
|
|
4
|
<identifier>oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2014-ED-010</identifier>
|
|
5
|
<datestamp>2015-01-28</datestamp>
|
|
6
|
<setSpec>openaire</setSpec>
|
|
7
|
</header>
|
|
8
|
<metadata>
|
|
9
|
<oai_dc:dc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
|
|
10
|
<dc:title>Fundamental Approaches to Software Engineering - 17th International Conference,</dc:title>
|
|
11
|
<dc:creator>Gnesi, Stefania</dc:creator>
|
|
12
|
<dc:creator>Rensink, Arend</dc:creator>
|
|
13
|
<dc:creator>(eds.), .</dc:creator>
|
|
14
|
<dc:subject>Software Engineering</dc:subject>
|
|
15
|
<dc:subject>Formal methods</dc:subject>
|
|
16
|
<dc:subject>info:eu-repo/classification/acm/D.2 SOFTWARE ENGINEERING</dc:subject>
|
|
17
|
<dc:subject>info:eu-repo/classification/acm/D.2.4 Software/Program Verification</dc:subject>
|
|
18
|
<dc:description>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</dc:description>
|
|
19
|
<dc:publisher>Springer</dc:publisher>
|
|
20
|
<dc:date>2014</dc:date>
|
|
21
|
<dc:type>info:eu-repo/semantics/review</dc:type>
|
|
22
|
<dc:identifier>http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-ED-010</dc:identifier>
|
|
23
|
<dc:language>en</dc:language>
|
|
24
|
<dc:source>In: Fundamental Approaches to Software Engineering. Editorial, Springer, 2014.</dc:source>
|
|
25
|
<dc:relation>info:eu-repo/semantics/altIdentifier/url/http://dx.doi.org/10.1007/978-3-642-54804-8</dc:relation>
|
|
26
|
<dc:relation>info:eu-repo/semantics/altIdentifier/isbn/978-3-642-54803-1</dc:relation>
|
|
27
|
<dc:relation>info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-54804-8</dc:relation>
|
|
28
|
<dc:format>application/pdf</dc:format>
|
|
29
|
<dc:identifier>http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-ED-010/2014-ED-010.pdf</dc:identifier>
|
|
30
|
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
|
|
31
|
</oai_dc:dc>
|
|
32
|
</metadata>
|
|
33
|
</record>
|