Prashant Shanti

	2004
1		Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh: Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. FASE 2004: 160-164

Coauthor Index

1	Adam Childs	[1]
2	Xianghua Deng	[1]
3	Matthew B. Dwyer	[1]
4	Jesse Greenwald	[1]
5	John Hatcliff	[1]
6	Georg Jung	[1]
7	Venkatesh Prasad Ranganath	[1]
8	Gurdip Singh	[1]