Searching for "Operating System Verification for Real Use." – 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.

Workshop Program 5th International Verification Workshop – VERIFY’08
by Bernhard Beckert, Gerwin Klein (chairs, Bernhard Beckert, Gerwin Klein Iv V, Bernhard Beckert, Gerwin Klein, Peter Baumgartner, Bruno Dutertre, Reiner Hähnle, Joseph Kiniry, Stephan Merz, Carroll Morgan, Peter Müller, Michael Norrish — 2008
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Gilles Barthe Operating System Verification for Real Use…
Add To MetaCart

Showing 1 through 1.

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