Dill, David L.: Trace Theory for Automatic Hierarchical Verification of Speed-Independent | DealShopping Deutschland