Model-Checking the Implementation of Consent.

Ral Pardo, Daniel Le Mtayer

Browse the full SEFM paper archive.