Validierung der funktionalen √Ąquivalenz konvertierter JAVA Programme durch einen dynamischen Source-Abgleich. | D2R Server publishing the DBLP Bibliography Database, hosted at L3S Research Center

Property	Value
dcterms:bibliographicCitation	<http://dblp.uni-trier.de/rec/bibtex/journals/stt/Sneed12>
dc:creator	<https://dblp.l3s.de/d2r/resource/authors/Harry_M._Sneed>
foaf:homepage	<http://pi.informatik.uni-siegen.de/stt/32_2/01_Fachgruppenberichte/SRE_TAV/21-sneed.pdf>
dc:identifier	DBLP journals/stt/Sneed12 (xsd:string)
dcterms:issued	2012 (xsd:gYear)
swrc:journal	<https://dblp.l3s.de/d2r/resource/journals/stt>
rdfs:label	Validierung der funktionalen √Ąquivalenz konvertierter JAVA Programme durch einen dynamischen Source-Abgleich. (xsd:string)
foaf:maker	<https://dblp.l3s.de/d2r/resource/authors/Harry_M._Sneed>
swrc:number	2 (xsd:string)
owl:sameAs	<http://bibsonomy.org/uri/bibtexkey/journals/stt/Sneed12/dblp>
owl:sameAs	<http://dblp.rkbexplorer.com/id/journals/stt/Sneed12>
rdfs:seeAlso	<http://dblp.uni-trier.de/db/journals/stt/stt32.html#Sneed12>
rdfs:seeAlso	<http://pi.informatik.uni-siegen.de/stt/32_2/01_Fachgruppenberichte/SRE_TAV/21-sneed.pdf>
dc:title	Validierung der funktionalen √Ąquivalenz konvertierter JAVA Programme durch einen dynamischen Source-Abgleich. (xsd:string)
dc:type	<http://purl.org/dc/dcmitype/Text>
rdf:type	swrc:Article
rdf:type	foaf:Document
swrc:volume	32 (xsd:string)