Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.

Sylvain Hall, Roger Villemaire

Browse the full RV paper archive.