Irina and Markus give an invited tutorial at SPIN 2018

IrIrina and Markus at Spin 2018ina and Markus attended SPIN symposium that took place in Malaga, Spain, where they gave a tutorial on Software Model Checking for Mobile Security.