Вы здесь
Sharygina N.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Combined Testing and Verification Approach for Software Reliability | 2001 | Sharygina N., Peled D. | Lecture Notes in Computer Science | 06.04.2001 | |||
| СТ | Model Checking Software via Abstraction of Loop Transitions | 2003 | Sharygina N., Browne J. C. | Lecture Notes in Computer Science | 17.04.2003 | |||
| СТ | State/Event-Based Software Model Checking | 2004 | Chaki S., Clarke E. M., Ouaknine J., Sharygina N., Sinha N. | Lecture Notes in Computer Science | 21.05.2004 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Aided Verification: Proc./25th International Conference, CAV 2013, Saint Petersburg, Russia, July 2013 | 2013 | Lecture Notes in Computer Science |
|
26.08.2013 | |||
| СБ | Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021 | 2022 | Lecture Notes in Computer Science |
|
23.03.2022 |