Kuatbaeyeva, Akmaral
Университет Туран
Kazakhstan, Almaty
Report
- Bektemessov A.*, Kuatbaeyeva A.**
Using of model checking for combining tasks
*Алтайский государственный технический университет (Barnaul), Russia
**Университет Туран (Almaty), Kazakhstan