Author Search Results

1

Computer Aided Verification : : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I.

Participants: Enea, Constantin. [ ]; Lal, Akash. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Computer Science Series ; v.13964

Links: Get full text

2

Computer Aided Verification : : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III.

Participants: Enea, Constantin. [ ]; Lal, Akash. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Computer Science Series ; v.13966

Links: Get full text

3

Computer Aided Verification : : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II.

Participants: Enea, Constantin. [ ]; Lal, Akash. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Computer Science Series ; v.13965

Links: Get full text

4

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II / / edited by Constantin Enea, Akash Lal.

Participants: Enea, Constantin. [ ]; Lal, Akash. [ TeilnehmendeR ]
Published: 2023.
Superior document: Lecture Notes in Computer Science, 13965

5

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III / / edited by Constantin Enea, Akash Lal.

Participants: Enea, Constantin. [ HerausgeberIn, HerausgeberIn ]; Lal, Akash. [ HerausgeberIn, HerausgeberIn ]; Lal, Akash. [ HerausgeberIn ]
Published: 2023.
Superior document: Lecture Notes in Computer Science, 13966

Other Authors: “...Enea, Constantin....”

6

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I / / edited by Constantin Enea, Akash Lal.

Participants: Enea, Constantin. [ HerausgeberIn, HerausgeberIn ]; Lal, Akash. [ HerausgeberIn, HerausgeberIn ]; Lal, Akash. [ HerausgeberIn ]
Published: 2023.
Superior document: Lecture Notes in Computer Science, 13964

Other Authors: “...Enea, Constantin....”