2013-01-01
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 | |
|---|---|
| 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.
|