Search results for: Sebastian Fischmeister
Formal Methods in System Design > 2018 > 53 > 1 > 54-82
Formal Methods in System Design > 2018 > 53 > 1 > 113-137
Formal Methods in System Design > 2015 > 46 > 3 > 317-348
Formal Methods in System Design > 2013 > 43 > 1 > 29-60