Svetlana O. Shilova

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 3

Top Topics

Provably Correct

Elementary School

Program Execution

Top Venues

Program. Comput. Softw.

Publications

Nikolay V. Shilov, Evgeniy Muravev, Svetlana O. Shilova
Fun with Formal Methods for Better Education. FMFun (2019)
Nikolay V. Shilov, Boris L. Faifel, Svetlana O. Shilova, Aleksey V. Promsky
Towards platform-independent specification and verification of the standard trigonometry functions. CoRR (2019)
Nikolay V. Shilov, Svetlana O. Shilova, A. Yu. Bernshtein
Program schemata technique for propositional program logics: A 30-year history. Program. Comput. Softw. 42 (4) (2016)
Svetlana O. Shilova, Nikolay V. Shilov
Etude on theme of Dijkstra. SIGACT News 35 (3) (2004)
Svetlana O. Shilova, Nikolay V. Shilov
Addendum to Etude on theme of Dijkstra. SIGACT News 35 (4) (2004)