Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de
données avec réinitialisation par Lélio Brun ; sous la direction de Marc Pouzet et
de Timothy Bourke, 2020 [thèse]
Information trouvée : Rapporteur et membre du jury de la thèse
http://d-nb.info/gnd/124516084, 2020-12-15
Information trouvée : Klein, Gerwin. - Naissance : 1975
http://id.loc.gov/authorities/names/nb2014020167, 2020-12-15
Information trouvée : Klein, Gerwin
https://www.cse.unsw.edu.au/~kleing, 2020-12-15
Information trouvée : Informaticien. Professeur, directeur de recherche, membre du groupe de recherche Trustworthy
systems, Data 61, Commonwealth scientific and industrial research organisation (CSIRO),
University of New South Wales, Sydney