Browsing by Subject Mathematical logic
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2019 | Testing equivalence vs. runtime monitoring | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina |