DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Browsing by Author Banerjee, Ansuman
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2007-08 | Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles | Banerjee, Ansuman |