We stand with Ukraine  

Svetlana O. Shilova

Affiliations:
  • Institute of Mathematics, Novosibirsk, Russia


According to our database1, Svetlana O. Shilova authored at least 5 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Towards platform-independent specification and verification of the standard trigonometry functions.
[BibTeX]
[DOI]
Nikolay V. Shilov
,
Boris L. Faifel
,
Svetlana O. Shilova
,
Aleksey V. Promsky
CoRR, 2019

Fun with Formal Methods for Better Education.
[BibTeX]
[DOI]
Nikolay V. Shilov
,
Evgeniy Muravev
,
Svetlana O. Shilova
Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

2016
Program schemata technique for propositional program logics: A 30-year history.
[BibTeX]
[DOI]
Nikolay V. Shilov
,
Svetlana O. Shilova
,
A. Yu. Bernshtein
Program. Comput. Softw., 2016

2004
Addendum to Etude on theme of Dijkstra.
[BibTeX]
[DOI]
Svetlana O. Shilova
,
Nikolay V. Shilov
SIGACT News, 2004

Etude on theme of Dijkstra.
[BibTeX]
[DOI]
Svetlana O. Shilova
,
Nikolay V. Shilov
SIGACT News, 2004


  Loading...