C-H Luke Ong

Identifiers

• name variant C-H Luke Ong 0.60 · backfill

Papers (1)

1. Safety verification of asynchronous pushdown systems with shaped stacks cs.LO · 2014 · author #2

Mentions

• 1401.6325 #2 · backfill · confidence 0.70 C-H Luke Ong

Frequent Coauthors

• Jonathan Kochems 1 shared papers