1 |
38337
|
alessia.ba
|
<?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-009</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>2nd FME Workshop on Formal Methods in Software Engineering</dc:title>
|
11 |
|
|
<dc:creator>Gnesi, Stefania</dc:creator>
|
12 |
|
|
<dc:creator>Plat, Nico</dc:creator>
|
13 |
|
|
<dc:creator>(eds.), .</dc:creator>
|
14 |
|
|
<dc:subject>SOFTWARE ENGINEERING, Formal methods</dc:subject>
|
15 |
|
|
<dc:subject>info:eu-repo/classification/acm/D.2.4 Software/Program Verification. Formal methods</dc:subject>
|
16 |
|
|
<dc:publisher>ACM</dc:publisher>
|
17 |
|
|
<dc:date>2014</dc:date>
|
18 |
|
|
<dc:type>info:eu-repo/semantics/review</dc:type>
|
19 |
|
|
<dc:identifier>http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-ED-009</dc:identifier>
|
20 |
|
|
<dc:language>en</dc:language>
|
21 |
|
|
<dc:source>In: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering. Editorial, pp. iii - iv. ACM, 2014.</dc:source>
|
22 |
|
|
<dc:relation>info:eu-repo/semantics/altIdentifier/url/http://dl.acm.org/citation.cfm?id=2593489</dc:relation>
|
23 |
|
|
<dc:relation>info:eu-repo/semantics/altIdentifier/isbn/978-1-4503-2853-1</dc:relation>
|
24 |
|
|
<dc:format>application/pdf</dc:format>
|
25 |
|
|
<dc:identifier>http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2014-ED-009/2014-ED-009.pdf</dc:identifier>
|
26 |
|
|
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
|
27 |
|
|
</oai_dc:dc>
|
28 |
|
|
</metadata>
|
29 |
|
|
</record>
|