%0 Conference Proceedings
%F MR10
%A Gössler, G.
%A Le Métayer, D.
%A Raclet, J.-B.
%T Causality Analysis in Contract Violation
%B Runtime Verification, RV'10
%V 6418
%P 270-284
%S LNCS
%I Springer-Verlag
%D 2010