![](https://www.pdfsearch.io/img/b2f6bbdae668134438cdd310055036e7.jpg) Date: 2015-09-15 20:34:19
| | Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 SystAdd to Reading ListSource URL: sel4.systemsDownload Document from Source Website File Size: 246,68 KBShare Document on Facebook
|