Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Automatic Handling of Native Methods in Java PathFinder

Automatic Handling of Native Methods in Java PathFinder

Nastaran Shafiei and Franck van Breugel

Book Title
Proceedings of the 21st International SPIN Workshop
Month
July
Publisher
ACM
Year
2014

Links

See Also

Back to Top