Author Search Results

Computer Aided Verification : : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / / edited by Isil Dillig, Serdar Tasiran.

Participants: Dillig, Isil. [ HerausgeberIn, HerausgeberIn ]; Tasiran, Serdar. [ HerausgeberIn, HerausgeberIn ]; Tasiran, Serdar. [ HerausgeberIn ]
Published: 2019.
Superior document: Theoretical Computer Science and General Issues, 11562

Other Authors: “...Dillig, Isil....”

Computer Aided Verification : : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / / edited by Isil Dillig, Serdar Tasiran.

Other Authors: “...Dillig, Isil....”