Browsing by author "Bosnacki, Dragan"
Now showing items 1-2 of 2
-
Dependency safety for Java - Implementing and testing failboxes
Zhang, Dan; Bosnacki, Dragan; van den Brand, Mark; Huizing, Cornelis; Jacobs, Bart; Kuiper, Ruurd; Wijs, Anton (2019) -
Modular Termination Verification of Single-Threaded and Multithreaded Programs
Jacobs, Bart; Bosnacki, Dragan; Kuiper, Ruurd (2018)