Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language - Reasoning system - Document - PDFSEARCH.IO

First Page	Meta Content
	Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language Add to Reading List Document Date: 2007-08-07 13:03:20 Open Document File Size: 292,91 KB Share Result on Facebook

Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode LanguageAdd to Reading List