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

Konferenzergebnisse (1)

European Symposium on Programming (ESOP)

Rank: AOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
programming paradigms and stylesmethods and tools to specify and reason about programs and languagesprogramming language foundations+3 mehr