Formal analysis of log files

Howard Barringer, Alex Groce, Klaus Havelund, Margaret Smith

Research output: Contribution to journalArticlepeer-review

71 Scopus citations

Fingerprint

Dive into the research topics of 'Formal analysis of log files'. Together they form a unique fingerprint.

Keyphrases

Computer Science