Browsing by Author Parnas, David L.
Showing results 3 to 4 of 4
< previous
Publication Date | Title | Author(s) |
---|---|---|
Dec-2004 | Inspection of OO Software with Incomplete Documentation Using A Document Driven Approach | Shi, Hongying |
1996 | Tools to Support a Formal Verification Method for Systems with Concurrency and Nondeterminism | Bharadwaj, Ramesh |
Showing results 3 to 4 of 4
< previous