Soma Szeier

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Formal Language

Modelling Language

Formal Semantics

Top Venues

Publications

Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon Thompson
Validating Formal Semantics by Property-Based Cross-Testing. IFL (2020)