On the Expressiveness of some Runtime Validation Techniques

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. On the Expressiveness of some Runtime Validation Techniques. In Andrei Voronkov, Margarita V. Korovina, editors, HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. pages 112-123, EasyChair, 2014. [doi]

Authors

Yliès Falcone

This author has not been identified. It may be one of the following persons: Look up 'Yliès Falcone' in Google

Jean-Claude Fernandez

This author has not been identified. Look up 'Jean-Claude Fernandez' in Google

Laurent Mounier

This author has not been identified. Look up 'Laurent Mounier' in Google