Towards a Program Logic for C11 Release-Sequences

AuthID
P-00Q-367
3
Author(s)
4
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
Publication Identifiers
Dblp: conf/tase/HeQF18
Scopus: 2-s2.0-85062332774
Wos: WOS:000454985900004
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.