Structured development of implementations for divide-and-conquer specifications
Bortin, Maksym
Science of computer programming
2024
/
art. 103011, 15 p. : ill
https://doi.org/10.1016/j.scico.2023.103011
https://www.scopus.com/sourceid/28416
https://www.scopus.com/pages/publications/85168743259?inward
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001069381900001