Authors: Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar - International Journal on Software Tools for Technology Transfer 2007 cited by 594
