1
by Shoham, Sharon
Published 2022
Springer Nature
Subjects: ...Software Engineering...

2
by Shoham, Sharon
Published 2022
Springer Nature
Subjects: ...Software Engineering...

3
Published 2022
Springer International Publishing
Table of Contents: ... Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed...

4
Published 2022
Springer International Publishing
Table of Contents: ... Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed...

5
Published 2021
Springer International Publishing
Subjects: ...Software engineering...