Howard Barringer
Identifiers
- name variant Howard Barringer 0.60 · backfill
Papers (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