Integrating ADTs in KeY and Their Application to History-Based Reasoning.

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Browse the full FM paper archive.