Type Checking for Reliable APIs.

Maria Kechagia, Diomidis Spinellis

Browse the full ICSE paper archive.