2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2023 IEEE/ACM 11th International Conference on. :7-17 May, 2023
American Men & Women of Science : A Biographical Directory of Today’s Leaders in Physical, Biological and Related Sciences: MEL-OCK. 2022, p8301-8301.