Basant Dwivedi

According to our database, Basant Dwivedi authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Construction of concrete verification models from C++.

Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh

Proceedings of the 45th Design Automation Conference, 2008