1 paper
Bjørnar Haugstad Jåtten, Simon Boye Jørgensen, Rasmus Petersen +1
In object-oriented languages software developers rely on thread-safe classes to implement concurrent applications. However, determining whether a class is thread-safe is a challeng…