Context-Aware Contracts as a Lingua Franca for Behavioral Specification.

Marco Scaletta, Reiner Hhnle

Browse the full ISoLA paper archive.