![]() | ![]() |
| 1997 | ||
|---|---|---|
| 2 | Amar Bendou, Marc Ayel: A Symbolic Execution Based Approach for Inspecting Knowledge Bases. EUROVAV 1997: 31-42 | |
| 1995 | ||
| 1 | Amar Bendou: CT-DATAGEN: A Constraint Based Test Data Generator. EUROVAV 1995: 19-29 | |
| 1 | Marc Ayel | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page