Natasha Sharygina
AuthID: R-00H-A4C
1
TITLE: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
AUTHORS: Sriram Sankaranarayanan; Natasha Sharygina;
PUBLISHED: 2023, SOURCE: TACAS (1), VOLUME: 13993
AUTHORS: Sriram Sankaranarayanan; Natasha Sharygina;
PUBLISHED: 2023, SOURCE: TACAS (1), VOLUME: 13993
INDEXED IN: 
DBLP
DBLP2
TITLE: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
AUTHORS: Sriram Sankaranarayanan; Natasha Sharygina;
PUBLISHED: 2023, SOURCE: TACAS (2), VOLUME: 13994
AUTHORS: Sriram Sankaranarayanan; Natasha Sharygina;
PUBLISHED: 2023, SOURCE: TACAS (2), VOLUME: 13994
INDEXED IN: DBLP
DBLP3
TITLE: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
AUTHORS: Natasha Sharygina; Helmut Veith;
PUBLISHED: 2013, SOURCE: CAV, VOLUME: 8044
AUTHORS: Natasha Sharygina; Helmut Veith;
PUBLISHED: 2013, SOURCE: CAV, VOLUME: 8044
INDEXED IN: DBLP
DBLP