
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.
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.