Browse by Creators

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 1.

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

This list was generated on Tue Dec 12 23:29:05 2017 IST.