Abstractions from Proofs (2004)

by Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , Kenneth L. McMillan
Citations:210 - 28 self