|
Journals in DBLP
- Wolfgang Emmerich, David Wile
Introduction. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:4, pp:391-392 [Journal]
- Steve Roach, Jeffrey Van Baalen
Automated Procedure Construction for Deductive Synthesis. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:4, pp:393-414 [Journal]
- Robert J. Hall
Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:4, pp:415-446 [Journal]
- Prasanna Padmanabhan, Robyn R. Lutz
Tool-Supported Verification of Product Line Requirements. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:4, pp:447-465 [Journal]
|