EasyChair Smart SlideDocs/Log in
Author: David Nowak

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

Towards Corecursion Without Corecursion in Coq

Towards Corecursion Without Corecursion in Coq

Vlad Rusu and David Nowak

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base

Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud and Samuel Hym

Formalising Executable Specifications of Low-Level Systems

Formalising Executable Specifications of Low-Level Systems

Paolo Torrini, David Nowak, Narjes Jomaa and Mohamed Sami Cherif

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