Ajith K. John

	2011
2		Ajith K. John, Supratik Chakraborty: A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations. CAV 2011: 486-503
	2007
1		Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh: Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. SAFECOMP 2007: 491-504

Coauthor Index

1	A. K. Bhattacharjee	[1]
2	Supratik Chakraborty	[2]
3	S. D. Dhodapkar	[1]
4	S. Ramesh (Sethu Ramesh)	[1]
5	Babita Sharma	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page