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]
No references recorded for this publication.
No citations of this publication recorded.