Author Search Results

1

Computer Aided Verification : : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II.

Participants: Gurfinkel, Arie. [ ]; Ganesh, Vijay. [ TeilnehmendeR ]
Published: 2024.
Superior document: Lecture Notes in Computer Science Series ; v.14682

2

Computer Aided Verification : : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III.

Participants: Gurfinkel, Arie. [ ]; Ganesh, Vijay. [ TeilnehmendeR ]
Published: 2024.
Superior document: Lecture Notes in Computer Science Series ; v.14683

3

Computer Aided Verification : : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I.

Participants: Gurfinkel, Arie. [ ]; Ganesh, Vijay. [ TeilnehmendeR ]
Published: 2024.
Superior document: Lecture Notes in Computer Science Series ; v.14681