Shangbei Wang
Orcid: 0000-0002-5047-3717
According to our database1,
Shangbei Wang
authored at least 4 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns.
Int. J. Softw. Eng. Knowl. Eng., February, 2023
Int. J. Softw. Eng. Knowl. Eng., January, 2023
2021