Presenter

Full Program · · Organizations · Search Program · My Agenda · Happening Now

Florian Brandner

Télécom Paris

Presentations

Networking Reception

Work-in-Progress Poster

A Coq Framework for More Trustworthy DRAM Controllers