Browsing by author "van den Brand, M."

Now showing items 1-2 of 2

Academic software development tools and techniques: report on the 1st workshop WASDeTT at ECOOP 2008

Wuyts, Roel; Kienle, H.M.; Mens, K.; van den Brand, M.; Kuhn, A. (2009)
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations

Zhang, D.; Bošnacki, Dragan; van den Brand, M.; Huizing, Cornelus; Jacobs, Bart; Kuiper, Roel; Wijs, Anton (2017)