MPG.eBooks - Author Search Results

Cover Image

1

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

by Shoham, Sharon
Published 2022

Springer Nature

Other Authors: “...Vizel, Yakir...”

Cover Image

2

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

by Shoham, Sharon
Published 2022

Springer Nature

Other Authors: “...Vizel, Yakir...”

Cover Image

3

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

Published 2022

Springer International Publishing

Other Authors: “...Vizel, Yakir...”

Cover Image

4

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Published 2022

Springer International Publishing

Other Authors: “...Vizel, Yakir...”

Cover Image

5

Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...Vizel, Yakir...”