<http://www.sudoc.fr/172439590/id>	<http://purl.org/dc/terms/bibliographicCitation>	"Preuves par raffinement de programmes avec pointeurs  / Asma Tafat  ; sous la direction de Claude March\u00E9 /  , 2013" .
<http://www.sudoc.fr/172439590/id>	<http://purl.org/dc/elements/1.1/date>	"2013"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/172439590/id>	<http://www.abes.fr/vocabularies/theses/roles/984>	<http://www.idref.fr/168029863/id> .
<http://www.sudoc.fr/172439590/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/050702858/id> .
<http://www.sudoc.fr/172439590/id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/172171229/id> .
<http://www.sudoc.fr/172439590/id>	<http://rdaregistry.info/Elements/m/P30135>	<http://www.theses.fr/2013PA112141/id> .
<http://www.sudoc.fr/172439590/id>	<http://www.abes.fr/vocabularies/theses/roles/981>	<http://www.idref.fr/026390701/id> .
<http://www.sudoc.fr/172439590/id>	<http://id.loc.gov/vocabulary/relators/dgg>	<http://www.idref.fr/026404664/id> .
<http://www.sudoc.fr/172439590/id>	<http://www.abes.fr/vocabularies/theses/roles/996>	<http://www.idref.fr/150586906/id> .
<http://www.sudoc.fr/172439590/id>	<http://purl.org/dc/terms/subject>	<http://www.idref.fr/027253139/id> .
<http://www.sudoc.fr/172439590/id>	<http://id.loc.gov/vocabulary/relators/ths>	<http://www.idref.fr/069480249/id> .
<http://www.sudoc.fr/172439590/id>	<http://id.loc.gov/vocabulary/relators/opn>	<http://www.idref.fr/172259355/id> .
<http://www.sudoc.fr/172439590/id>	<http://www.abes.fr/vocabularies/theses/roles/958>	<http://www.idref.fr/066757711/id> .
<http://www.sudoc.fr/172439590/id>	<http://id.loc.gov/vocabulary/relators/pra>	<http://www.idref.fr/029892732/id> .
<http://www.sudoc.fr/172439590/id>	<http://www.abes.fr/vocabularies/sudoc/holdingsCount>	"1"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://www.sudoc.fr/172439590/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Document> .
<http://www.sudoc.fr/172439590/id>	<http://id.loc.gov/vocabulary/relators/opn>	<http://www.idref.fr/117818380/id> .
<http://www.sudoc.fr/172439590/id>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://purl.org/ontology/bibo/Thesis> .
<http://www.sudoc.fr/172439590/id>	<http://www.abes.fr/vocabularies/theses/roles/958>	<http://www.idref.fr/034097600/id> .