Reasoning about Connectors Using Coq and Z3

Published in Science of Computer Programming, 2019

Recommended citation: Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun. "Reasoning about Connectors Using Coq and Z3." Science of Computer Programming. vol. 170, 2019. https://www.sciencedirect.com/science/article/pii/S0167642318304076