Partner

1 hits in 0.006 sec.

On the correctness of operating system kernels [Score: 100%]
Author / Editor: Gargano, Mauro; Paul, Wolfgang J. |  Place of publication: Berlin [u.a.] |  Publisher: Springer |  Year of Publication: 2005 | 16 s.
Journal / Series / Collection: Theorem proving in higher order logics
Subject Area: Informatik

Active filters [Remove filter]

Drill down result

Subject Area [Remove filter]

Year of Publication

Language