APA (7th ed.) Citation

Ujma, M., & Shafiei, N. (2011). jpf−concurrent: An extension of Java PathFinder for java.util.concurrent.

Chicago Style (17th ed.) Citation

Ujma, M., and N. Shafiei. Jpf−concurrent: An Extension of Java PathFinder for Java.util.concurrent. 2011.

MLA (9th ed.) Citation

Ujma, M., and N. Shafiei. Jpf−concurrent: An Extension of Java PathFinder for Java.util.concurrent. 2011.

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