SeaFlows Toolset - Compliance Verification Made Easy.

Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Gser, Manfred Reichert, Peter Dadam

Browse the full CaiSE paper archive.