Author Search Results

1

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

Participants: Shoham, Sharon. [ ]; Vizel, Yakir. [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture Notes in Computer Science Series ; v.13372

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

Links: Get full text

2

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

Participants: Shoham, Sharon. [ ]; Vizel, Yakir. [ TeilnehmendeR ]
Published: 2022.
Superior document: Lecture Notes in Computer Science Series ; v.13371

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

Links: Get full text

3

Computer aided verification : : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. / Part I. / / editors, Sharon Shoham, Yakir Vizel.

Participants: Shoham, Sharon [ TeilnehmendeR ]; Vizel, Yakir [ TeilnehmendeR ]
Published: 2022;, 2022.
Superior document: Lecture Notes in Computer Science ; v.13371

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

4

Computer aided verification : : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. / Part II. / / editors, Sharon Shoham, Yakir Vizel.

Participants: Shoham, Sharon [ TeilnehmendeR ]; Vizel, Yakir. [ TeilnehmendeR ]
Published: 2022;, 2022.
Superior document: Lecture notes in computer science v.13372

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