Showing results 1 to 1 of 1
| Title | Author(s) | Issue Date | |
|---|---|---|---|
A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing Proceeding/Conference:Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008 | 2008 |