2013
Run-time Verification of Coboxes
Publication
Publication
Additional Metadata | |
---|---|
Histories, Run-time Verification, Assertion Checking, Coboxes, ABS | |
Software (theme 1) | |
Organisation | Computer Security |
de Gouw, C.P.T, de Boer, F.S, & Wong, P.Y.H. (2013). Run-time Verification of Coboxes.
|