Marius Mikučionis @MariusM@qoto.org

Research Software Engineer and Lector at AAU, everything about Uppaal verification and testing.