EasyChair Smart SlideDocs/Log in
Author: Eric Mullen

This page shows all presentations of this author published in EasyChair Smart Slide.

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper)

Ramana Kumar, Eric Mullen, Zachary Tatlock and Magnus O. Myreen

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair