APA (7th ed.) Citation

Tsvetkov, L., & Spivak, A. (2016). Utilizing type systems for static vulnerability analysis. FRUCT.

Chicago Style (17th ed.) Citation

Tsvetkov, Lavrentii, and Anton Spivak. Utilizing Type Systems for Static Vulnerability Analysis. FRUCT, 2016.

MLA (8th ed.) Citation

Tsvetkov, Lavrentii, and Anton Spivak. Utilizing Type Systems for Static Vulnerability Analysis. FRUCT, 2016.

Warning: These citations may not always be 100% accurate.