Vol-1430⫷ Vol-1431 ⫸Vol-1432
urn:nbn:de:0074-1431-0


Vol-1431/paper5⫷Vol-1431/paper6⫸Vol-1431/paper7
Razika LounasMohamed MezghicheJean-Louis Lanet

An Approach for Formal Verification of Updated Java Bytecode Programs