Declarative Specification and Alignment Verification of Services in ITIL.

Irina Rychkova, Gil Regev, Alain Wegmann

Browse the full EDOC paper archive.