History-Based Specification and Verification of Java Collections in KeY.

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

Browse the full IFM paper archive.