Marius Mikučionis @MariusM@qoto.org
Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.
Joined Jun 2022
Hello @AndrzejWasowski@scholar.social
How do I add you?
Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.
Joined Jun 2022
