Register Verification: Do We Have Reliable Specification? Author(s): NamDo Kim, Junhyuk Park, Byeong Min, and Wesley Park Location: United States Year: 2013 Type: Paper Download
