Travelled to:
1 × USA
Collaborated with:
G.C.Gannod
Talks about:
architectur (1) softwar (1) verif (1) recov (1)
Person: Shilpa Murthy
DBLP: Murthy:Shilpa
Contributed to:
Wrote 1 papers:
- IWPC-2003-GannodM #architecture #verification
- Verification of Recovered Software Architectures (GCG, SM), pp. 258–265.