Marius Mikučionis @MariusM@social.cleverlibre.org

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