Soma Szeier

According to our database, Soma Szeier authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Validating Formal Semantics by Property-Based Cross-Testing.

Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020