Moving from Specifications to Contracts in Component-Based Design.

Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski

Browse the full FASE paper archive.