Software Verification with BLAST (2003)

by Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar , Gregoire Sutre
Citations:141 - 2 self