32 citations · 32 across the 1 of their papers we have counts for
1 paper · 1 filter
Christian Haack, Marieke Huisman, Clément Hurlin +1
This paper presents a program logic for reasoning about multithreaded Java-like programs with dynamic thread creation, thread joining and reentrant object monitors. The logic is ba…