Software (theme 1)
ACM
Unspecified
ACM Symposium on Applied Computing
Computer Security

de Gouw, C.P.T, de Boer, F.S, Johnsen, E.B, & Wong, P.Y.H. (2013). Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. In Proceedings of the 28th annual ACM Symposium on Applied Computing 2013 (SAC '13) (pp. 1573–1578). ACM.