Cover Image
Read Now

1
by Ivrii, Alexander
Published 2020
TU Wien Academic Press
Subjects: “...Automated and Formal Reasoning...”
Cover Image
Read Now

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