Frederik Krogsdal Jacobsen - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Registered user since Thu 5 Oct 2023

Name:Frederik Krogsdal Jacobsen

Country:Denmark

Affiliation:Technical University of Denmark

Personal website: https://people.compute.dtu.dk/fkjac/

GitHub: https://github.com/fkj

Contributions

2023

ST

The Concurrent Calculi Formalisation Benchmark

Show activities from other conferences

SPLASH 2023-profile
View general profile