Browsing by Author Pujari, Upasana
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
Sep-2009 | Verification and Refinement Theory of Action Inheritance for Concurrent Objects | Pujari, Upasana |
Showing results 1 to 1 of 1