Научная
деятельность
Университет ИТМО

Меню

Публикации

1. Tsvetkov L., Spivak A. Utilizing Type Systems for Static Vulnerability Analysis // Proceedings of the 18th Conference of Open Innovations Association FRUCT - 2016, pp. 345-350