Margaret Smith

Identifiers

• name variant Margaret Smith 0.60 · backfill

Papers (1)

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