EasyChair Smart SlideUser guide
Author: Rustam Zhumagambetov

This page shows all presentations of this author published in EasyChair Smart Slide.

Teaching formal methods in academia: a systematic literature review

Teaching formal methods in academia: a systematic literature review

Rustam Zhumagambetov

Automated Theorem Proving in a Chat Environment

Automated Theorem Proving in a Chat Environment

Rustam Zhumagambetov and Mark Sterling

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair