Specification and verification of synchronisation classes in Java : a practical approach
Afshin Amighi · 2017
On March 2011, when I started my journey of " PhD candidate ", to me, it seemed like a magic to finish it.Now the journey is about to finish and the magic is going to happen.I owe this to my kind and supportive supervisors, colleagues, friends and family members.This work would not have been possible without the valuable assistance of them.Here, I would like to devote this space to thanking those who have walked alongside