Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller 0001. Formal Reasoning Using Distributed Assertions. In Uli Sattler, Martin Suda 0001, editors, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Volume 14279 of Lecture Notes in Computer Science, pages 176-194, Springer, 2023. [doi]
Abstract is missing.