Interactive method for cumulative analysis of software formal models behavior / Kolchin A. (2018)
UkrainianEnglish

 

Інститут інформаційних технологій НБУВ


+38 (044) 525-36-24
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна