Synthesis of implementations for divide-and-conquer specifications
author
statement of authorship
Maksym Bortin
source
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings
location of publication
Cham
publisher
year of publication
pages
p. 73-88
series
Lecture notes in computer science ; 13768
conference name, date
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF , 6-9 December 2022
conference location
virtual event
ISSN
0302-9743
ISBN
978-3-031-22475-1
notes
Bibliogr.: 9 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
kvartiil
classifier
category (general)
Reserch Group
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).