|
Journals in DBLP
- Tevfik Bultan, Richard Gerber, Christopher League
Composite model-checking: verification with type-specific symbolic representations. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:1, pp:3-50 [Journal]
- James C. Corbett
Using shape analysis to reduce finite-state models of concurrent Java programs. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:1, pp:51-93 [Journal]
- Carl A. Gunter
Abstracting dependencies between software configuration items. [Citation Graph (0, 0)][DBLP] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:1, pp:94-131 [Journal]
|