Registered user since Mon 21 May 2018

Name:Samik Basu
Affiliation:Iowa State University
Research interests:Formal Methods

Contributions