H. Shimba, T. Ohta, H. Onoue, K. Okano, and S. Kusumoto, "Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java," In IWIN2014, September 2014.
ID 375
分類 国際会議
タグ checking consistency equals formal hashcode java methods technique verification
表題 (title) Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java
表題 (英文)
著者名 (author) Hiraoki Shimba,Takafumi Ohta,Hiroki Onoue,Kozo Okano,Shinji Kusumoto
英文著者名 (author) Hiraoki Shimba,Takafumi Ohta,Hiroki Onoue,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Hiraoki Shimba,Takafumi Ohta,Hiroki Onoue,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) IWIN2014
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages)
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 9
出版年 (year) 2014
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル desc (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id375,
         title = {Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java},
        author = {Hiraoki Shimba and Takafumi Ohta and Hiroki Onoue and Kozo Okano and Shinji Kusumoto},
     booktitle = {IWIN2014},
         month = {9},
          year = {2014},
}