1. A generic static analyzer for multithreaded Java programs. (9th May 2012) Authors: Ferrara, P. Journal: Software, practice & experience Issue: Volume 43:Number 6(2013) Page Start: 663 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗