Prashant Shanti

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

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)