Regulations Expressed As Logical Models (REALM).
Christopher Giblin, Alice Y. Liu, Samuel Mller, Birgit Pfitzmann, Xin Zhou
Browse the full JURIX paper archive.
Christopher Giblin, Alice Y. Liu, Samuel Mller, Birgit Pfitzmann, Xin Zhou
Browse the full JURIX paper archive.