Diagrammatic Reasoning in Separation Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine. Diagrammatic Reasoning in Separation Logic. In Gem Stapleton, John Howse, John Lee, editors, Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings. Volume 5223 of Lecture Notes in Computer Science, pages 408-411, Springer, 2008. [doi]

This author has not been identified. Look up 'M. Ridsdale' in GoogleThis author has not been identified. Look up 'Mateja Jamnik' in GoogleThis author has not been identified. Look up 'Nick Benton' in GoogleThis author has not been identified. Look up 'Josh Berdine' in Google

runs on WebDSL