|
Journals in DBLP
- Kalpesh Kapoor, Jonathan P. Bowen
Test conditions for fault classes in Boolean specifications. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:3, pp:- [Journal]
- Samik Basu, Scott A. Smolka
Model checking the Java metalocking algorithm. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:3, pp:- [Journal]
- Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
Metamodel-based model conformance and multiview consistency checking. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:3, pp:- [Journal]
|