Bortin, Maksym.
" Synthesis of Implementations for Divide-and-Conquer Specifications" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (6 December 2022)