2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) Blockchain and Cryptocurrency (ICBC), 2023 IEEE International Conference on. :1-9 May, 2023
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:139-148 May, 2015
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :45-52 Nov, 2006