SeaFlows Toolset - Compliance Verification Made Easy

Linh Thao Ly, David Knuplesch, Stefanie Rinderle-Ma, Kevin Göser, Manfred Reichert, Peter Dadam. SeaFlows Toolset - Compliance Verification Made Easy. In Pnina Soffer, Erik Proper, editors, Proceedings of the CAiSE Forum 2010, Hammamet, Tunisia, June 9-11, 2010. Volume 592 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]

Authors

Linh Thao Ly

This author has not been identified. Look up 'Linh Thao Ly' in Google

David Knuplesch

This author has not been identified. Look up 'David Knuplesch' in Google

Stefanie Rinderle-Ma

This author has not been identified. Look up 'Stefanie Rinderle-Ma' in Google

Kevin Göser

This author has not been identified. Look up 'Kevin Göser' in Google

Manfred Reichert

This author has not been identified. Look up 'Manfred Reichert' in Google

Peter Dadam

This author has not been identified. Look up 'Peter Dadam' in Google