Static Program Analysis via 3-Valued Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. Static Program Analysis via 3-Valued Logic. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 15-30, Springer, 2004. [doi]

Identified as Thomas W. Reps This author has not been identified. Look up 'Shmuel Sagiv' in GoogleThis author has not been identified. Look up 'Reinhard Wilhelm' in Google

runs on WebDSL