- "What is
formal verification?". EE
Times Asia.
Sanjit A. Seshia;
Natasha Sharygina;
Stavros Tri****s (2018). "Chapter 3:
Modeling for Verification". In Clarke...
-
turns his
whole life
upside down. Iya
Savvina as Anna
Konstantinovna Sharygina Oleg
Yefremov as
Anton Nikolaevich Skvortsov Aleftina Yevdokimova as Tatiana...
- ISSN 1573-7470. S2CID 666608. Blicha, Martin; Britikov, Konstantin;
Sharygina,
Natasha (2023). "The
Golem Horn Solver". In Enea, Constantin; Lal, Akash...
-
Television Connection". www.earlytelevision.org.
Retrieved 2023-01-11.
Sharygina,
Ludmila (2010).
Russian Electronics Chronology. TUCSR. p. 47. Lohr, Lenox...
-
Programs with
Unbounded Thread Creation, Cook, Byron, Kroening,
Daniel and
Sharygina, Natasha,
Theoretical Computer Science (TCS), Vol. 388,
pages 227—242...
-
RecyclePivots algorithms has led to good results. Simone, S.F.; Brutomesso, R.;
Sharygina, N. "An
Efficient and
Flexible Approach to
Resolution Proof Reduction"...
- "Electronic
Motion Pictures".
University of
California Press – via
Google Books.
Sharygina,
Ludmila (2010).
Russian Electronics Chronology. TUCSR. p. 47....
- New York: Farrar,
Straus and Giroux. p. 144. ISBN 978-0-374-11825-9.
Sharygina,
Ludmila (2010).
Russian Electronics Chronology. TUCSR. p. 47. Meadow...
-
Applications of
Satisfiability Testing, 2010. Simone, S.F.; Brutomesso, R.;
Sharygina, N. "An
Efficient and
Flexible Approach to
Resolution Proof Reduction"...
