Certified Rule Labeling
From MaRDI portal
Publication:5277884
DOI10.4230/LIPIcs.RTA.2015.269zbMath1366.68126OpenAlexW2317269870MaRDI QIDQ5277884
Publication date: 12 July 2017
Full work available at URL: https://dx.doi.org/10.4230/LIPIcs.RTA.2015.269
Related Items
Uses Software