Speaker

Aurojit Panda

Title

Runtime Protocol Refinement Checking for Distributed Protocol Implementations

Abstract

Bio

Language

English