Lélio Brun. Mechanized semantics and verified compilation for a dataflow synchronous language with reset. (Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation). PhD thesis, Paris Sciences et Lettres University, France, 2020. [doi]
Abstract is missing.