Specifying and Reasoning about Generic Architecture in TCOZ.

Jing Sun, Jin Song Dong

Browse the full APSEC paper archive.