Title:

Investigations of testing algorithms’ logical and algebraic representations for algorithmic systems and memory schemas

Type:

Grant

Year:

2011-2013

Other:

Thematic grant ; STATE-FUNDED PROJECTS