Basant Dwivedi

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

Coauthor Index

1	Antara Ghosh	[1]
2	Malay Haldar	[1]
3	Saurabh Prabhakar	[1]
4	Gagandeep Singh	[1]