Reasoning about Pointers in Refinement Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa. Reasoning about Pointers in Refinement Calculus. In 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand. pages 425, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Ralph-Johan Back' in GoogleThis author has not been identified. Look up 'Xiaocong Fan' in GoogleThis author has not been identified. Look up 'Viorel Preoteasa' in Google

runs on WebDSL