From Verification to Modelling Guidelines.

Sabine Geldof, Aurlien Slodzian

Browse the full EKAW paper archive.