Xiyue Zhang, Meng Sun 0002. Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 385-384, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]
Abstract is missing.