Integrity for Interfaces and Lambda Expressions with Static Analysis (S).

Imran Pinjari, Michael Shin, Pushkar Ogale

Browse the full SEKE paper archive.