%0 Book
%A / Souza, Akash Lal, Kim Guldstrand LarsenبDeepak D
%T Verification, Model Checking, and Abstract Interpretation
%U /book/93575719/Verification-Model-Checking-and-Abstract-Interpr/