Bortin, M.
2022 Dec  6.  Synthesis of Implementations for Divide-and-Conquer Specifications. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :