Sharygina, Natasha.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Validation of Evolving Software
by:
Mariani, Leonardo.; Kroening, Daniel.; Sharygina, Natasha.; Chockler, Hana.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers /
by:
Bloem, Roderick.; Fan, Chuchu.; Sharygina, Natasha.; SpringerLink (Online service); Dimitrova, Rayna.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings /
by:
Sharygina, Natasha.; SpringerLink (Online service); Veith, Helmut.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Computer logic.
Computer networks .
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Control Structures and Microprogramming.
Software engineering.
Computer science.
Computers.
Computer Science.
Microprogramming .
Computer Hardware.
Compilers and Interpreters.
Logics and Meanings of Programs.
Compilers (Computer programs).
Computer software
Computer Science Logic and Foundations of Programming.