Cited By
View all- Al Wardani FChaudhuri KMiller D(2023)Formal Reasoning Using Distributed AssertionsFrontiers of Combining Systems10.1007/978-3-031-43369-6_10(176-194)Online publication date: 20-Sep-2023
- Mantovani MMomigliano A(2021)Towards Substructural Property-Based TestingLogic-Based Program Synthesis and Transformation10.1007/978-3-030-98869-2_6(92-112)Online publication date: 7-Sep-2021
- Miller D(2020)A Distributed and Trusted Web of Formal ProofsDistributed Computing and Internet Technology10.1007/978-3-030-36987-3_2(21-40)Online publication date: 9-Jan-2020
- Show More Cited By