Natasha Sharygina
AuthID: R-00H-A4C
1
TÃTULO: 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
AUTORES: Sriram Sankaranarayanan; Natasha Sharygina;
PUBLICAÇÃO: 2023, FONTE: TACAS (1), VOLUME: 13993
AUTORES: Sriram Sankaranarayanan; Natasha Sharygina;
PUBLICAÇÃO: 2023, FONTE: TACAS (1), VOLUME: 13993
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
AUTORES: Natasha Sharygina; Helmut Veith;
PUBLICAÇÃO: 2013, FONTE: CAV, VOLUME: 8044
AUTORES: Natasha Sharygina; Helmut Veith;
PUBLICAÇÃO: 2013, FONTE: CAV, VOLUME: 8044
INDEXADO EM: DBLP
DBLP