%0 Conference Paper %1 conf/vecos/LounasML15 %A Lounas, Razika %A Mezghiche, Mohamed %A Lanet, Jean-Louis %B VECoS %D 2015 %E Hedia, Belgacem Ben %E Vladicescu, Florin Popentiu %I CEUR-WS.org %K dblp %P 51-64 %T An Approach for Formal Verification of Updated Java Bytecode Programs. %U http://dblp.uni-trier.de/db/conf/vecos/vecos2015.html#LounasML15 %V 1431

@inproceedings{conf/vecos/LounasML15, added-at = {2023-03-10T00:00:00.000+0100}, author = {Lounas, Razika and Mezghiche, Mohamed and Lanet, Jean-Louis}, biburl = {https://www.bibsonomy.org/bibtex/21049541e3ed286aa19b853d0ba6a25be/dblp}, booktitle = {VECoS}, crossref = {conf/vecos/2015}, editor = {Hedia, Belgacem Ben and Vladicescu, Florin Popentiu}, ee = {https://ceur-ws.org/Vol-1431/paper6.pdf}, interhash = {c9adeabde58652c28a170495317c5369}, intrahash = {1049541e3ed286aa19b853d0ba6a25be}, keywords = {dblp}, pages = {51-64}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T23:35:18.000+0200}, title = {An Approach for Formal Verification of Updated Java Bytecode Programs.}, url = {http://dblp.uni-trier.de/db/conf/vecos/vecos2015.html#LounasML15}, volume = 1431, year = 2015 }