Skip to main content

jpf−concurrent: an extension of Java PathFinder for java.util.concurrent

Mateusz Ujma and Nastaran Shafiei

Book Title
To Appear in the Proceedings of Java Pathfinder Workshop 2011‚ Lawrence Kansas
Year
2011