Abstractions from Proofs (2004)

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