MR10

G. Gössler, D. Le Métayer, J.-B. Raclet. Causality Analysis in Contract Violation. In Runtime Verification, RV'10, LNCS, Volume 6418, Pages 270-284, 2010.

BibTex Reference

@InProceedings{MR10,
   Author = {Gössler, G. and Le Métayer, D. and Raclet, J.-B.},
   Title = {Causality Analysis in Contract Violation},
   BookTitle = {Runtime Verification, RV'10},
   Volume = {6418},
   Pages = {270--284},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)