Pradhan, Prayasee (2015) Formal Verification, Quantitative Analysis and Automated Detection of Design Patterns. MTech thesis.
