@phdthesis{Mai3, 
    title = {Hardware and software analyses for precise and efficient timing analysis }, 
    author = {Maiza, Claire},
    month = {June},
    year = {2023},
    school = {Univ. Grenoble Alpes},
    team = {SYNC},
}