Static Analysis, Third International Symposium, SAS 96, Aachen, Germany, September 24-26, 1996, Proceedings

Radhia Cousot, David A. Schmidt, editors, Static Analysis, Third International Symposium, SAS 96, Aachen, Germany, September 24-26, 1996, Proceedings. Volume 1145 of Lecture Notes in Computer Science, Springer, 1996.

Conference: SAS1996

Editors

Radhia Cousot

This author has not been identified. Look up 'Radhia Cousot' in Google

David A. Schmidt

This author has not been identified. Look up 'David A. Schmidt' in Google