Cover Image
Read Now

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