RATCOP: Relational analysis tool for concurrent programs
- Suvam Mukherjee*
- , Oded Padon
- , Sharon Shoham
- , Deepak D’Souza
- , Noam Rinetzky
*Corresponding author for this work
- Indian Institute of Science Bangalore
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review