Cover Image
Read Now

1
by Ivrii, Alexander
Published 2020
TU Wien Academic Press
Subjects: “...Formal Verification, Specification, Synthesis, and Testing...”
Cover Image
Read Now

2
by Piskac, Ruzica
Published 2021
TU Wien Academic Press
Subjects: “..., Specification, Synthesis, and Testing; Automated and Formal Reasoning...”
Cover Image
Read Now

3
by Posypkin, Mikhail
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...general synthesis problem...”