Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems
FM, 2019.
@inproceedings{FM-2019-ZhaoSZ0,
author = "Yongwang Zhao and David Sanán and Fuyuan Zhang and Yang Liu 0003",
booktitle = "{Third World Congress on Formal Methods: The Next 30 Years}",
doi = "10.1007/978-3-030-30942-8_11",
isbn = "['978-3-030-30941-1', '978-3-030-30942-8']",
pages = "161--178",
publisher = "{Springer}",
title = "{A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems}",
year = 2019,
}
Tags: