Formal Modeling of Large Domains.

Dao Nam Anh, Richard Moore

Browse the full APSEC paper archive.