Publications

A Relational Model for Confined Separation Logic

AuthID
P-007-NE6

Author(s)

Wang, SL

Barbosa, LS

Oliveira, JN

Document Type

Proceedings Paper

Year published

2008

Published

in TASE 2008: SECOND IFIP/IEEE INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS in TASE

Pages: 263-+ (2)

Conference

2Nd Ifip/Ieee International Symposium on Theoretical Aspects of Software Engineering, Date: JUN 17-19, 2008, Location: Nanjing, PEOPLES R CHINA, Sponsors: IEEE Comp Soc, IEEE, IFIP, Nanjing Univ

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/251334

Crossref^®6

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/tase.2008.38

DBLP: conf/tase/WangBO08

SCOPUS: 2-s2.0-51749095420

Wos: WOS:000257510400037

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

A Relational Model for Confined Separation Logic

Useful Links

Get Help

Federated Authentication (Click on the image)

A Relational Model for Confined Separation Logic

Useful Links

Get Help