Searching for "Mechanized Information Flow Analysis through Inductive Assertions." – 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.

Mechanized Information Flow Analysis through Inductive Assertions
by Warren A. Hunt, Robert Bellarmine Krug, Ip Ray, William D. Young
…Mechanized Information Flow Analysis through Inductive Assertions Warren A. Hunt, Jr., Robert…
Add To MetaCart

Showing 1 through 1.

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