Searching for "Checking Memory Safety with Blast." – 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.

Checking memory safety with Blast
by Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar — 2005 — Proceedings, 8th International Conference on Fundamental Approaches to Software Engineering (FASE), volume 3442 of LNCS
…Checking Memory Safety with Blast ⋆ Dirk Beyer 1 , Thomas A. Henzinger 1,2 , Ranjit Jhala 3…
Cited by 14 (1 self) – Add To MetaCart

Showing 1 through 1.

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