This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. weiterlesen