Klaus Havelund

Identifiers

• name variant Klaus Havelund 0.60 · backfill

Papers (1)

1. An Entry Point for Formal Methods: Specification and Analysis of Event Logs cs.SE · 2010 · author #3

Mentions

• 1003.1682 #3 · backfill · confidence 0.70 Klaus Havelund

Frequent Coauthors

• Alex Groce 1 shared papers
• Howard Barringer 1 shared papers
• Margaret Smith 1 shared papers