http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://xmlns.com/foaf/0.1/Person |
http://xmlns.com/foaf/0.1/firstName | Christian |
http://xmlns.com/foaf/0.1/mbox_sha1sum | 4615e1049d759d4a31d78b98f336c404 |
http://xmlns.com/foaf/0.1/topic_interest | Monitors |
http://xmlns.com/foaf/0.1/topic_interest | Session types |
http://xmlns.com/foaf/0.1/name | Christian Bartolo Burlò |
http://xmlns.com/foaf/0.1/familyName | Bartolo Burlò |
http://xmlns.com/foaf/0.1/interest | https://data.archives-ouvertes.fr/subject/info.info-ni |
http://xmlns.com/foaf/0.1/topic_interest | Static and dynamic verification |