EasyChair Smart SlideDocs/Log in
Author: Hannah Arndt

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

Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs

Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs

Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja and Thomas Noll

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