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

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