A Formal Contract Language for Plugin-based Software Engineering.

Jens Dietrich, John G. Hosking, Jonathan Giles

Browse the full ICECCS paper archive.