Java Bytecode Verification by Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David A. Basin, Stefan Friedrich, Joachim Posegga, Harald Vogt. Java Bytecode Verification by Model Checking. In Nicolas Halbwachs, Doron Peled, editors, Computer Aided Verification, 11th International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings. Volume 1633 of Lecture Notes in Computer Science, pages 491-494, Springer, 1999. [doi]

This author has not been identified. Look up 'David A. Basin' in GoogleThis author has not been identified. Look up 'Stefan Friedrich' in GoogleThis author has not been identified. Look up 'Joachim Posegga' in GoogleThis author has not been identified. Look up 'Harald Vogt' in Google

runs on WebDSL