Designers Work Less with Quality Formal Equivalence Checking

Author(s):
Orly Cohen, Moran Gordon, Michael Lifshits, Alexander Nadel, and Vadim Ryvchin
Location:
United States
Year:
2010
Type:
Paper
Format:
pdf