JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

Receive email
updates
My DSpace
authorized users

Items for Author "Ghosh, Indradeep"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 1 items.

Date of Issue	Title	Authors
2008	Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution	Li, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz