Aurélien Lamercerie. Principe de transduction sémantique pour l'application de théories d'interfaces sur des documents de spécification. (Semantic Transducer for Interface Theories). PhD thesis, University of Rennes 1, France, 2021. [doi]
Abstract is missing.