8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010
Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/sefm/2010
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/conf/sefm/2010
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Andrea_Maggiolo-Schettini
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Jos%E2%88%9A%C2%A9_Luiz_Fiadeiro
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Stefania_Gnesi
>
swrc:
editor
<
https://dblp.l3s.de/d2r/resource/authors/Andrea_Maggiolo-Schettini
>
swrc:
editor
<
https://dblp.l3s.de/d2r/resource/authors/Jos%E2%88%9A%C2%A9_Luiz_Fiadeiro
>
swrc:
editor
<
https://dblp.l3s.de/d2r/resource/authors/Stefania_Gnesi
>
foaf:
homepage
<
https://ieeexplore.ieee.org/xpl/conhome/5635422/proceeding
>
dc:
identifier
DBLP conf/sefm/2010
(xsd:string)
dc:
identifier
ISBN 978-0-7695-4153-2
(xsd:string)
swrc:
isbn
ISBN 978-0-7695-4153-2
(xsd:string)
dcterms:
issued
2010
(xsd:gYear)
rdfs:
label
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010
(xsd:string)
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/BarnatBR10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/BarrosCHP10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/BartolettiZ10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/BenettiMV10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/BersaniCFPR10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/CristiaAM10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/DanHC10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/EscobedoGGC10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/GallardoS10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/GallerWW10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/Ghezzi10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/Giannakopoulou10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/GoldsmithC10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/GothelG10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/HakimipourSW10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/HegedusBRV10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/HussainL10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/KatzK10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/KermadecDB10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/KokashKV10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/LarsenLB10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/LeuxnerSS10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/Lindsay10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/LindsayWY10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/MassinkLBH10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/MetayerMP10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/Pavlovic10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/Powell10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/ScannielloRT10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/TudoseO10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/WeiWB10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/WeitlNF10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/WinterHC10
>
is
dcterms:
partOf
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sefm/XuZC10
>
dc:
publisher
IEEE Computer Society
(xsd:string)
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/conf/sefm/2010/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/conf/sefm/2010
>
owl:
sameAs
<
urn:isbn:978-0-7695-4153-2
>
rdfs:
seeAlso
<
http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-0-7695-4153-2
>
rdfs:
seeAlso
<
https://ieeexplore.ieee.org/xpl/conhome/5635422/proceeding
>
swrc:
series
<
https://dblp.l3s.de/d2r/resource/conferences/sefm
>
dcterms:
tableOfContent
<
http://dblp.uni-trier.de/db/conf/sefm/sefm2010.html
>
dc:
title
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Collection
>
rdf:
type
swrc:Proceedings
rdf:
type
foaf:Document