A.W.: A compositional logic for control flow (2006)

by Gang Tan
Venue:Verification, Model Checking and Abstract Interpretation (VMCAI
Citations:35 - 1 self