Structured development of implementations for divide-and-conquer specifications
autor
vastutusandmed
Maksym Bortin
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 231
ilmumisaasta
leheküljed
art. 103011, 15 p. : ill
ISSN
0167-6423
märkused
Bibliogr.: 11 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
klassifikaator
TTÜ struktuuriüksus
Bortin, M. Structured development of implementations for divide-and-conquer specifications // Science of computer programming (2024) vol. 231, art. 103011, 15 p. : ill.