Marius Mikučionis @MariusM@qoto.org
Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.
Joined Jun 2022
Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.
🇳🇱