Title:

Investigations of logical systems and their applications to automated translation algorithms and electronic circuits testing

Type:

Grant

Time period:

2013-2015

Other:

Thematic grant ; STATE-FUNDED PROJECTS