Bortin, Maksym.
" Synthesis of Implementations for Divide-and-Conquer Specifications" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)