Marko Mäkelä profile picture

Marko Mäkelä

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Efficient Computer-aided Verification of Parallel and Distributed Software Systems