logo
methods and tools to specify and reason about programs and languages

Conference Results (2)