Items where Author is "Muehlberg, Jan Tobias"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Muehlberg, Jan Tobias (2009) Model Checking Pointer Safety in Compiled Programs. PhD thesis, University of York.
Muehlberg, Jan Tobias (2009) Model Checking Pointer Safety in Compiled Programs. PhD thesis, University of York.