Pietro Ferrara
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs
SEFM, 2009.
@inproceedings{SEFM-2009-Ferrara, author = "Pietro Ferrara", booktitle = "{Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2009.20", isbn = "978-0-7695-3870-9", pages = "169--178", publisher = "{IEEE Computer Society}", title = "{Checkmate: A Generic Static Analyzer of Java Multithreaded Programs}", year = 2009, }