Andrew E. Santosa

Identifiers

• name variant Andrew E. Santosa 0.60 · backfill

Papers (2)

1. Comparing Weakest Precondition and Weakest Liberal Precondition cs.PL · 2015 · author #1
2. Symbolic Execution for Verification cs.PL · 2011 · author #3

Mentions

• 1103.2027 #3 · backfill · confidence 0.70 Andrew E. Santosa

Frequent Coauthors

• Jorge A. Navas 1 shared papers
• Joxan Jaffar 1 shared papers