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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page