Searching for "Cadena An Integrated Development Environment for Analysis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Cadena: An integrated development environment for analysis, synthesis, and verification
by Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh — 2004 — Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, LNCS 2984
…Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB