Traversal of arbitrary sequences of UCM symbolic transitions for test generation / Guba A. A. (2014)
UkrainianEnglish

 

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


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