|
Journals in DBLP
- Grigore Rosu, Klaus Havelund
Rewriting-Based Techniques for Runtime Verification. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:2, pp:151-197 [Journal]
- Yunwen Ye, Gerhard Fischer
Reuse-Conducive Development Environments. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:2, pp:199-235 [Journal]
- Yasuyuki Tsukada
Interactive and Probabilistic Proof of Mobile Code Safety. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:2, pp:237-257 [Journal]
- Paolo Tonella, Filippo Ricca
Web Application Slicing in Presence of Dynamic Code Generation. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 2005, v:12, n:2, pp:259-288 [Journal]
|