G
[GC05] Arie Gurfinkel and Marsha Chechik. How Thorough Is Thorough Enough?. In CHARME'05, Lecture Notes in Computer Science 3725, pages 65-80. Springer-Verlag, October 2005. 
@inproceedings{charme2005-GC,
  author =              {Gurfinkel, Arie and Chechik, Marsha},
  title =               {How Thorough Is Thorough Enough?},
  editor =              {Borrine, Dominique and Paul, Wolfgang J.},
  booktitle =           {{P}roceedings of the 13th {C}orrect {H}ardware
                         {D}esign and {V}erification {M}ethods ({CHARME}'05)},
  acronym =             {{CHARME}'05},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3725},
  pages =               {65-80},
  year =                {2005},
  month =               oct,
}
List of authors