Author Search Results

1

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12759

Other Authors: “...Leino, K. Rustan M....”

Links: Get full text

2

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12760

Other Authors: “...Leino, K. Rustan M....”

Links: Get full text

3

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / / edited by Alexandra Silva, K. Rustan M. Leino.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12760

Other Authors: “...Leino, K. Rustan M....”

4

Computer Aided Verification : : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / / edited by Alexandra Silva, K. Rustan M. Leino.

Participants: Silva, Alexandra. [ ]; Leino, K. Rustan M. [ TeilnehmendeR ]
Published: 2021.
Superior document: Theoretical Computer Science and General Issues, 12759

Other Authors: “...Leino, K. Rustan M....”