Register Verification: Do We Have Reliable Specification?

Author(s):
NamDo Kim, Junhyuk Park, Byeong Min, and Wesley Park
Type:
Poster