Dealing with contract violations: formalism and domain specific language.

Guido Governatori, Zoran Milosevic

Browse the full EDOC paper archive.