Büchi Types for Infinite Traces and Liveness

Martin Hofmann, Wei Chen

Research output: Working paper

Fingerprint

Dive into the research topics of 'Büchi Types for Infinite Traces and Liveness'. Together they form a unique fingerprint.