dataHAL

https://data.archives-ouvertes.fr/author/950703

http://xmlns.com/foaf/0.1/familyName	Atki
http://xmlns.com/foaf/0.1/topic_interest	Compilation
http://xmlns.com/foaf/0.1/topic_interest	Formalisation
http://xmlns.com/foaf/0.1/topic_interest	DO-178C
http://xmlns.com/foaf/0.1/topic_interest	Formal methods
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest	Design
http://xmlns.com/foaf/0.1/firstName	Abdellatif
http://xmlns.com/foaf/0.1/topic_interest	Domain-specific languages
http://xmlns.com/foaf/0.1/name	Abdellatif Atki
http://xmlns.com/foaf/0.1/interest	https://data.archives-ouvertes.fr/subject/info.info-pf
http://xmlns.com/foaf/0.1/topic_interest	Static analysis
http://xmlns.com/foaf/0.1/mbox_sha1sum	79f40098d10476e8826885b70220879b
http://xmlns.com/foaf/0.1/topic_interest	Development process
http://xmlns.com/foaf/0.1/interest	https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest	Avionics software
http://xmlns.com/foaf/0.1/topic_interest	Industrial application