Synthesis of implementations for divide-and-conquer specifications
autor
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
ISSN
0302-9743
ISBN
978-3-031-22475-1
märkused
Bibliogr.: 9 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
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).