A formal framework for specifying and analyzing logs as electronic evidence (Q2999322)

From MaRDI portal





scientific article; zbMATH DE number 5887526
Language Label Description Also known as
default for all languages
No label defined
    English
    A formal framework for specifying and analyzing logs as electronic evidence
    scientific article; zbMATH DE number 5887526

      Statements

      Identifiers