Synthesis of implementations for divide-and-conquer specifications

vastutusandmed
Maksym Bortin
allikas
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 73-88
seeria-sari
Lecture notes in computer science ; 13768
konverentsi nimetus, aeg
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF , 6-9 December 2022
konverentsi toimumispaik
virtual event
kvartiil
Q3
kategooria (üld)
võtmesõna
design tactics
ISSN
0302-9743
ISBN
978-3-031-22475-1
märkused
Bibliogr.: 9 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Bortin, M. Synthesis of implementations for divide-and-conquer specifications // Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings. Cham : Springer, 2022. p. 73-88. (Lecture notes in computer science ; 13768). https://doi.org/10.1007/978-3-031-22476-8_5