Richard Ulbrich, is the author of three acclaimed publications of the thoroughbred, “See How They Ran” in 1981, “The Great Stallion Book” in 1984, and the ultimate companion volume “Richard Ulbrich's Peerage of Racehorses” in 1994. As he undertook his research he collected a large number of amusing and interesting snippets of information that are worth repeating independent of context, and which he had thought to publish as a book....

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming conc...