Skip to content

Scientist · Computer Science

Sergey Mikhailovich Staroletov

Altai State Technical University, Barnaul, Russia

iD0000-0001-5183-9736

Citations, last 5 years: 83
Works, last 5 years: 37
h-index: 7
Citations, all time: 172
In Computer Science: #121,802

Research topics

Formal Methods in Verification34Computer Science
Logic, programming, and type systems24Computer Science
Model-Driven Software Engineering Techniques16Computer Science
Software Testing and Debugging Techniques13Computer Science
Advanced Software Engineering Methodologies9Computer Science

Recent works

Discussion

Ask Sergey about their research. When the scientist claims this card, they will see your question.

Start a discussion