Towards Verification of Java Bytecode using Logic Programming Tools E. Albert1 , M. G´ omez-Zamalloa1 , L. Hubert2 , and G. Puebla2 1 - Bytecode - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards Verification of Java Bytecode using Logic Programming Tools E. Albert1 , M. G´ omez-Zamalloa1 , L. Hubert2 , and G. Puebla2 1 Add to Reading List Document Date: 2016-01-16 09:07:19 Open Document File Size: 291,29 KB Share Result on Facebook

Towards Verification of Java Bytecode using Logic Programming Tools E. Albert1 , M. G´ omez-Zamalloa1 , L. Hubert2 , and G. Puebla2 1Add to Reading List