System Lunch Paper Representation

Abstract

Presented the paper ‘An Empirical Study on the Correctness of Formally Verified Distributed Systems’ in the proceedings of EuroSys’17

Date
Links