A Relational Model for Confined Separation Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shuling Wang, Luís Soares Barbosa, José Nuno Oliveira. A Relational Model for Confined Separation Logic. In Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. pages 263-270, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Shuling Wang' in GoogleThis author has not been identified. Look up 'Luís Soares Barbosa' in GoogleThis author has not been identified. It may be one of the following persons:

Look up 'José Nuno Oliveira' in Google

runs on WebDSL