Вы здесь

Shilov N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Program Schemata Technique to Solve Propositional Program Logics Revised 2016 Shilov N. Lecture Notes in Computer Science PSI 10 06.09.2016
СТ Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler 2010 Shilov N., Bodin E., Shilova S. Computer Science Bulletin of the Novosibirsk Computing Center 05.04.2011
СТ F@BOOL@: Towards a Simple Verifying Compiler Based on SAT-Solvers 2009 Shilov N., Bodin E. PSI 09 IW on Program Understanding 24.07.2009
СТ Some Results on Propositional Dynamic Logic with Fixed Points 1997 Rents I., Shilov N. Lecture Notes in Computer Science 27.06.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Program Semantics, Specification and Verification: Theory and Applications: Abstracts./X Workshop PSSV Held as Part of PSI'19, Novosibirsk, Russia, July 2019 2019
  1. Zakharov V.
  2. Shilov N.
  3. Anureev I.
05.08.2019