国際会議

[1] Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, and Shinji Kusumoto, "Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java," In IWIN2014, September 2014. [desc]