Browsing by Author "Bosnacki, Dragan"

Now showing 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
Journal article
2019, Science of Computer Programming, 184, p.102316
Modular Termination Verification of Single-Threaded and Multithreaded Programs

Jacobs, Bart
;
Bosnacki, Dragan
;
Kuiper, Ruurd
Journal article
2018, ACM Letters on Programming languages and Systems - TOPLAS, (40) 3, p.Art. 12