Cited By
View all- Tran DWai Mon TOgata K(2023)Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scoresPeerJ Computer Science10.7717/peerj-cs.12849(e1284)Online publication date: 31-Mar-2023
- Bui DTran DOgata KRiesco A(2023)Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem provingMultimedia Tools and Applications10.1007/s11042-023-15780-583:12(36865-36898)Online publication date: 24-Jul-2023
- Futatsugi K(2022)Advances of proof scores in CafeOBJScience of Computer Programming10.1016/j.scico.2022.102893224:COnline publication date: 1-Dec-2022
- Show More Cited By