Verifying Object Initialization in the Java Bytecode Language. - Stephane Doyon; Mourad Debbabi (SAC (2), 2000)

On object initialization in the Java bytecode. - Stephane Doyon; Mourad Debbabi (Comput. Commun., 2000)