Towards a Program Logic for C11 Release-Sequences

AuthID
 P-00Q-367
3
Author(s)
He, MD
·
4
Editor(es)
Jun Pang 0001; Chenyi Zhang; Jifeng He; Jian Weng 0001
Tipo de Documento
Proceedings Paper
Year published
2018
Publicado
in PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018) in TASE
Volume: 2018-January, Páginas: 28-35 (8)
Conference
International Symposium on Theoretical Aspects of Software Engineering (Tase), Date: AUG 29-31, 2018, Location: Guangzhou, PEOPLES R CHINA, Patrocinadores: Jinan Univ, Coll Informat Sci, IEEE Comp Soc, Jinan Univ
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/756935
Google Scholar®
Publication Identifiers
DBLP: conf/tase/HeQF18
SCOPUS: 2-s2.0-85062332774
Wos: WOS:000454985900004
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service