Howard Barringer

Identifiers

• name variant Howard Barringer 0.60 · backfill

Papers (1)

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

Mentions

• 1003.1682 #1 · backfill · confidence 0.70 Howard Barringer

Frequent Coauthors

• Alex Groce 1 shared papers
• Klaus Havelund 1 shared papers
• Margaret Smith 1 shared papers