2013
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study
Publication
Publication
Presented at the
ACM Symposium on Applied Computing, Coimbra, Portugal
Additional Metadata | |
---|---|
ACM | |
Unspecified | |
ACM Symposium on Applied Computing | |
Organisation | 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.
|