History-Based Reasoning About Behavioral Subtyping.

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

Browse the full ICTAC paper archive.