Formal analysis of log files (0)

by Howard Barringer, Alex Groce, Klaus Havelund, Margaret Smith
Venue:Journal of aerospace computing, information, and communication