Etude on theme of Dijkstra. - Svetlana O. Shilova; Nikolay V. Shilov 002 (SIGACT News, 2004)

Addendum to Etude on theme of Dijkstra. - Svetlana O. Shilova; Nikolay V. Shilov 002 (SIGACT News, 2004)

Program schemata technique for propositional program logics: A 30-year history. - Nikolay V. Shilov 002; Svetlana O. Shilova; A. Yu. Bernshtein (Program. Comput. Softw., 2016)

Fun with Formal Methods for Better Education. - Nikolay V. Shilov 002; Evgeniy Muravev; Svetlana O. Shilova (FMFun, 2019)

Towards platform-independent specification and verification of the standard trigonometry functions. - Nikolay V. Shilov 002; Boris L. Faifel; Svetlana O. Shilova; Aleksey V. Promsky (CoRR, 2019)