Semantics-based Program Analysis via Symbolic Composition of Transfer Relations (1996)

by Christopher Colby , John Reynolds
Citations:5 - 2 self