An Approach for Formal Verification of Updated Java Bytecode Programs.

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet

Browse the full VECoS paper archive.