Trinity College Dublin, Ireland
International Symposium on Unifying Theories of Programming
Computer Security

Sun, M.& Arbab, F. (2009, January). Modelling Connectors as Designs in Unifying Theories of Programming.