A specification-based approach to reasoning about pointers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev. A specification-based approach to reasoning about pointers. ACM SIGSOFT Software Engineering Notes, 31(2), 2006. [doi]

This author has not been identified. Look up 'Gregory Kulczycki' in GoogleThis author has not been identified. Look up 'Murali Sitaraman' in GoogleThis author has not been identified. Look up 'Bruce W. Weide' in GoogleThis author has not been identified. Look up 'Atanas Rountev' in Google

runs on WebDSL