Designers Work Less with Quality Formal Equivalence Checking Author(s): Orly Cohen, Moran Gordon, Michael Lifshits, Alexander Nadel, and Vadim Ryvchin Type: Paper Download
