Structured development of implementations for divide-and-conquer specifications
author
statement of authorship
Maksym Bortin
publisher
journal volume number month
vol. 231
year of publication
pages
art. 103011, 15 p. : ill
ISSN
0167-6423
notes
Bibliogr.: 11 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
classifier
quartile
TalTech department
Bortin, M. Structured development of implementations for divide-and-conquer specifications // Science of computer programming (2024) vol. 231, art. 103011, 15 p. : ill.