Additional Metadata
THEME Software (theme 1)
Publisher ACM
Stakeholder Unspecified
Conference ACM Symposium on Applied Computing
Citation
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.