Abstractions from Proofs (2004)

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