Browsing by author "Wijs, Anton"
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) -
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
Zhang, D.; Bonacki, Dragan; van den Brand, M.; Huizing, Cornelus; Jacobs, Bart; Kuiper, Roel; Wijs, Anton (2017)