A Theory of Pointers for the UTP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Will Harwood, Ana Cavalcanti, Jim Woodcock. A Theory of Pointers for the UTP. In John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Volume 5160 of Lecture Notes in Computer Science, pages 141-155, Springer, 2008. [doi]

This author has not been identified. Look up 'Will Harwood' in GoogleThis author has not been identified. Look up 'Ana Cavalcanti' in GoogleThis author has not been identified. Look up 'Jim Woodcock' in Google

runs on WebDSL