Abstract Counterexample-Based Refinement for Powerset Domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roman Manevich, John Field, Thomas A. Henzinger, Ganesan Ramalingam, Mooly Sagiv. Abstract Counterexample-Based Refinement for Powerset Domains. In Thomas W. Reps, Mooly Sagiv, Jörg Bauer, editors, Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Volume 4444 of Lecture Notes in Computer Science, pages 273-292, Springer, 2006. [doi]

This author has not been identified. Look up 'Roman Manevich' in GoogleIdentified as John Field This author has not been identified. Look up 'Thomas A. Henzinger' in GoogleIdentified as Ganesan Ramalingam This author has not been identified. Look up 'Mooly Sagiv' in Google

runs on WebDSL