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]
@inproceedings{LounasML15, title = {An Approach for Formal Verification of Updated Java Bytecode Programs}, author = {Razika Lounas and Mohamed Mezghiche and Jean-Louis Lanet}, year = {2015}, url = {http://ceur-ws.org/Vol-1431/paper6.pdf}, researchr = {https://researchr.org/publication/LounasML15}, cites = {0}, citedby = {0}, pages = {51-64}, booktitle = {Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015}, editor = {Belgacem Ben Hedia and Florin Popentiu-Vladicescu}, volume = {1431}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }