Compositional Reasoning in Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke. Compositional Reasoning in Model Checking. In Willem P. de Roever, Hans Langmaack, Amir Pnueli, editors, Compositionality: The Significant Difference, International Symposium, COMPOS 97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Volume 1536 of Lecture Notes in Computer Science, pages 81-102, Springer, 1997. [doi]

This author has not been identified. Look up 'Sergey Berezin' in GoogleThis author has not been identified. Look up 'Sérgio Vale Aguiar Campos' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in Google

runs on WebDSL