International Workshop on Harnessing Theories for Tool Support in Software
Computer Security

Moon, Y.-J., Arbab, F., Silva, A., Stam, A.& Verhoef, C. (2011, January). Stochastic Reo: a case study. Proceedings of International Workshop on Harnessing Theories for Tool Support in Software 2011 (5).