Cover Image
Read Now

1
by Shoham, Sharon
Published 2022
Springer Nature
“...: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks...”
Cover Image
Read Now

2
by Shoham, Sharon
Published 2022
Springer Nature
“...: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks...”
Cover Image
Read Now

3
Published 2022
Springer International Publishing
“... and formal methods in order to promote a deeper understanding of how formal methods can or should be used...”
Cover Image
Read Now

4
by Dohi, Tadashi
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
“... to formal methods and design, automatic software testing, software verification and validation, coalgebra...”