Towards Automatic Assertion Refinement for Separation Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrew Ireland. Towards Automatic Assertion Refinement for Separation Logic. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. pages 309-312, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Andrew Ireland' in Google

runs on WebDSL