MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Verifying safety properties using separation and heterogeneous abstractions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Verifying Safety Properties using Separation and  
  • by Heterogeneous Ions Eran, Eran Yahav, G. Ramalingam, D. Knuth — 2004 — In Proceedings of the SIGPLAN ’04 Conference on Program Language Design and Implementation
  • …Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav # School…
  • Add To MetaCart
  • 1.1 History and Mission  
  • by Family Of Buenos Aires, Shakhar Smorodinsky, Dina Schneidman, Eran Leiserowitz, Eyal Molad, Michal Ozery-flato In, Greta Yorsh This Year, Tali Kaufman — 2005
  • … Aviv, Israel Verifying Safety Properties using Separation and Heterogeneous Abstractions E. Yahav †‡ G…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB