FAST: an efficient decision procedure for deduction and static equivalence

Bruno Conchinha, David A. Basin & Carlos Caleiro
7th International Workshop on Formal Aspects of Security and Trust - FAST 2010
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.