Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet. An Approach for Formal Verification of Updated Java Bytecode Programs. In Belgacem Ben Hedia, Florin Popentiu-Vladicescu, editors, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Volume 1431 of CEUR Workshop Proceedings, pages 51-64, CEUR-WS.org, 2015. [doi]
Abstract is missing.