Publications

Towards a Program Logic for C11 Release-Sequences

AuthID
P-00Q-367

Author(s)

He, MD

Qin, SC

Ferreira, JF

Editor(s)

Jun Pang 0001; Chenyi Zhang; Jifeng He; Jian Weng 0001

Document Type

Proceedings Paper

Year published

2018

Published

in PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018) in TASE

Volume: 2018-January, Pages: 28-35 (8)

Conference

International Symposium on Theoretical Aspects of Software Engineering (Tase), Date: AUG 29-31, 2018, Location: Guangzhou, PEOPLES R CHINA, Sponsors: Jinan Univ, Coll Informat Sci, IEEE Comp Soc, Jinan Univ

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/756935

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/tase.2018.00012

DBLP: conf/tase/HeQF18

SCOPUS: 2-s2.0-85062332774

Wos: WOS:000454985900004

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Towards a Program Logic for C11 Release-Sequences

Useful Links

Get Help

Federated Authentication (Click on the image)

Towards a Program Logic for C11 Release-Sequences

Useful Links

Get Help