Yongwang Zhao
From MaRDI portal
Person:488397
Available identifiers
zbMath Open zhao.yongwangMaRDI QIDQ488397
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Compositional reasoning for shared-variable concurrent programs | 2021-05-04 | Paper |
| CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs | 2020-08-05 | Paper |
| Development of global specification for dynamically adaptive software | 2015-01-26 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Yongwang Zhao
