full record print

Structured development of implementations for divide-and-conquer specifications

author
statement of authorship
Maksym Bortin
source
publisher
journal volume number month
vol. 231
year of publication
pages
art. 103011, 15 p. : ill
url
ISSN
0167-6423
notes
Bibliogr.: 11 ref
scientific publication
teaduspublikatsioon
language
inglise
Bortin, M. Structured development of implementations for divide-and-conquer specifications // Science of computer programming (2024) vol. 231, art. 103011, 15 p. : ill. https://doi.org/10.1016/j.scico.2023.103011