Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java

, , , ,

IWIN2014, 2014.

タグ: checking, consistency, equals, formal, hashcode, java, methods, technique, verification

@inproceedings{HiraokiShimba2014,
  author = {Hiraoki Shimba and Takafumi Ohta and Hiroki Onoue and Kozo Okano and Shinji Kusumoto},
  title = {Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java},
  booktitle = {IWIN2014},
  year = {2014},
  month = {sep}
}