Artur Meski

I am a software engineer and researcher with a PhD in formal methods.

For a list of my academic publications see Google Scholar or DBLP.