Reasoning about Connectors in Coq

Published in Proceedings of International Workshop on Formal Aspects of Component Software, 2017

Recommended citation: Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun. "Reasoning about Connectors in Coq." Proceedings of International Workshop on Formal Aspects of Component Software. FACS 2016. https://link.springer.com/chapter/10.1007/978-3-319-57666-4_11