Antara Ghosh (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2

Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh: Construction of concrete verification models from C++. DAC 2008: 942-947

Selection of 1 from 2 records - Antara Ghosh has 7 coauthors