Grounded Verification of Recursive Trace Systems

Benjamin Bürki M.Sc. thesis in Cyber