Alexander Linden


[last name] dot [first name] at gmail dot com



linden@montefiore.ulg.ac.be
Clé publique PGP/GPG


Research

Thesis: On the Verification of Programs on Relaxed Memory Models. The tool-package

Conference papers: Posters: