Author: "Samanta, Roopsha" / Journal: verification, model checking, and abstract interpretation - Searchworks@Jio Institute Digital Library Search Results

Your search keyword '"Samanta, Roopsha"' showing total 2 results

Start Over Author "Samanta, Roopsha" Journal verification, model checking, and abstract interpretation

Author: Henzinger, Thomas A., primary, Otop, Jan, additional, and Samanta, Roopsha, additional
Published: 2015
Full Text: View/download PDF

Author: Samanta, Roopsha, primary, Deshmukh, Jyotirmoy V., additional, and Chaudhuri, Swarat, additional
Published: 2013
Full Text: View/download PDF

Books, media, physical & digital resources

Searchworks