Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. jpf−concurrent: an extension of Java PathFinder for java.util.concurrent

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

Links

See Also

Back to Top