https://data.archives-ouvertes.fr/author/888906
| http://xmlns.com/foaf/0.1/topic_interest | Temporal logic |
| http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://xmlns.com/foaf/0.1/Person |
| http://xmlns.com/foaf/0.1/name | Simon Bäumler |
| http://xmlns.com/foaf/0.1/mbox_sha1sum | d582f2505b2ea262844c3ae3ff6d374c |
| http://xmlns.com/foaf/0.1/topic_interest | Lock-free |
| http://xmlns.com/foaf/0.1/topic_interest | Rely-guarantee |
| http://xmlns.com/foaf/0.1/familyName | Bäumler |
| http://xmlns.com/foaf/0.1/topic_interest | Linearizability |
| http://xmlns.com/foaf/0.1/topic_interest | Verification |
| http://xmlns.com/foaf/0.1/firstName | Simon |
| http://xmlns.com/foaf/0.1/topic_interest | Compositional reasoning |
