A Dash of Fairness for Compositional Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ariel Cohen 0002, Kedar S. Namjoshi, Yaniv Sa ar. A Dash of Fairness for Compositional Reasoning. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 543-557, Springer, 2010. [doi]

This author has not been identified. Look up 'Ariel Cohen 0002' in GoogleThis author has not been identified. Look up 'Kedar S. Namjoshi' in GoogleThis author has not been identified. Look up 'Yaniv Sa ar' in Google

runs on WebDSL