Bonifácio, R., Bodden, E., R. Silva, J. V., R. Silva, I. L., & Santos, G. (2022). SVFA-Scala: an implementation of SVFA for Java (Version 0.1.0-SNAPSHOT) [Computer software]. https://github.com/rbonifacio/svfa-scala