HOOD and Z for the Development of Complex Software Systems.

Raffaele di Giovanni, Pier Luigi Iachini

Browse the full FM paper archive.