Zhang, Fuyuan Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;
Zhao, Y., Sanán, D., Zhang, F., & Liu, Y. (2019). A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. In M. H. ter Beek, A. McIver, & J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years (pp. 161-178). Cham: Springer. doi:10.1007/978-3-030-30942-8_11.