Sagar Jyoti Chaki [removed] http: www.contrib.andrew.cmu.edu ~schaki Research Interests: • Formal methods - Computer Aided Verification - Document - PDFSEARCH.IO

First Page	Meta Content
	Sagar Jyoti Chaki [removed] http://www.contrib.andrew.cmu.edu/~schaki Research Interests: • Formal methods Add to Reading List Document Date: 2014-02-25 17:53:36 Open Document File Size: 158,83 KB Share Result on Facebook

UPDATE

Sagar Jyoti Chaki [removed] http://www.contrib.andrew.cmu.edu/~schaki Research Interests: • Formal methodsAdd to Reading List