Rustam Zhumagambetov
发表
Vsevolod A. Peshkov,
S. Fazli,
K. Pats,
2022,
2208.09658.
Vsevolod A. Peshkov,
S. Fazli,
K. Pats,
2022,
ArXiv.
Vsevolod A. Peshkov,
S. Fazli,
Rustam Zhumagambetov,
2020,
RSC advances.
Siamac Fazli,
Ferdinand Molnár,
Rustam Zhumagambetov,
2021,
RSC advances.
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper
pdf
Faron Moller,
Magne Haveraaen,
Antonio Cerone,
2020,
FMFun.
Lorena Cecilia López Steinmetz,
J. C. Godoy,
Rustam Zhumagambetov,
2024,
medRxiv.