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.












