Margaret Smith
Identifiers
- name variant Margaret Smith 0.60 · backfill
Papers (1)
- An Entry Point for Formal Methods: Specification and Analysis of Event Logs cs.SE · 2010 · author #4
Mentions
- 1003.1682 #4 · backfill · confidence 0.70 Margaret Smith
Frequent Coauthors
- Alex Groce 1 shared papers
- Howard Barringer 1 shared papers
- Klaus Havelund 1 shared papers