https://conf.researchr.org/profile/nfm-2024/florinbaiduc
Florin Baiduc - NASA Formal Methods 2024
16th NASA Formal Methods Symposium June 4-6 The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and...
formal methodsflorinnasa
https://www.colorado.edu/slhs/rachael-baiduc
Rachael Baiduc | Speech, Language, and Hearing Sciences | University of Colorado Boulder
Dr. Baiduc is a hearing scientist with expertise in public health. She is the director of the Hearing Epidemiology and Research Diagnostics (HEARD) Laboratory....
university of coloradospeech languagerachael