"On the Expressiveness of some Runtime Validation Techniques."

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier (2014)

Details and statistics

DOI: 10.29007/J7QV

access: open

type: Part in Book or Collection

metadata version: 2021-08-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics