| |
| 2000 | ||
|---|---|---|
| 2 | Stephane Doyon, Mourad Debbabi: Verifying Object Initialization in the Java Bytecode Language. SAC (2) 2000: 821-830 | |
| 1 | EE | Stephane Doyon, Mourad Debbabi: On object initialization in the Java bytecode. Computer Communications 23(17): 1594-1605 (2000) |
| 1 | Mourad Debbabi | [1] [2] |