XGuide - Concurrent Web Engineering with Contracts.

Clemens Kerer, Engin Kirda

Browse the full ICWE paper archive.